apply your knowledge
Appstract Inventions is a human knowledge application company.
We make innovative tools to explore and sculpt your domains.
Bring us your dream!
Appstract R&D is led by Stu B.
Twitter) known by his online handle "Stu Btwotwo".
Transparent Composition => Authorable AI
- Strong Types = Match structural categories, often automatically or implicitly
- Pure Functions = Scale reliably using stateless compute elements
- Explicit Schemas = Define your domain, aligned with public specifications, e.g.:
- Symbolic Maths = Leverage powerful expressions (incl. algebra, calculus, diff-eqs) compatible with Wolfram language and SymPy
- Interactive Adjustments = Empower humans to filter, tweak, and experiment
- Upstream Proofs = Verify formal system constraints during build
Open Source foundation
Latest open source libraries are hosted on github:
- Axiomagic - Dynamic UIs for knowledge exploration, using transparent, authorable AI
Open Science horizon
Some current (2019) open domain model work is on gitlab:
(Remember, GitLab is not the same site as GitHub!)
- Financial data alignment using
FIBO (Financial Industry Business Ontology) and related standards.
- Strong types, guarded equations, and correctness proofs in challenge domains.
- Wildfire analysis supporting in-field assesments.