Axeyum CAS

Implementation

Axeyum implements its computer algebra system in Rust. Its algorithms cover selected work in algebra, calculus, linear algebra, number theory, transforms, and differential equations.

A successful operation can carry data that an operation-specific checker recomputes. Some results are also reconstructed as terms for the Axeyum Kernel. Mathematica and SymPy identify the established CAS category; neither is embedded in Axeyum.

• Exact polynomial and rational-function operations
• Differentiation and certified integration
• Exact algebraic real witnesses
• Operation-specific certificate checks

Rust crates

These crates implement the component or connect its results to another Axeyum checker. Each link opens the crate's source directory.

• axeyum-cas Symbolic algorithms and certificate checkers
• axeyum-ir Exact rational and polynomial checking substrate
• axeyum-lean-kernel Kernel reconstruction integration

Reference systems and results

The CAS report distinguishes internal certificate checks from kernel reconstruction and compares scope with Mathematica and SymPy.

Problems studied with this component

• An exact Mean Value Theorem witness Calculus
• Certified polynomial integration Calculus
• Primality of 2^89 - 1 Number theory

Current limit