Use of Axeyum
The Axeyum CAS produced an antiderivative. Its checker differentiated that result and reduced the difference from the input polynomial to zero.
- Components
- Axeyum CAS
Recorded result
The accepted antiderivative is x^3 + x^2.
Supporting artifacts
Artifact pages contain the formal statement, proof route, evidence, provenance, and direct dependency graph recorded in the ledger.
- The integral of 3x^2+2x is x^3+x^2, and the answer proves itself: differentiating it back and zero-testing against the integrand certifies exact equality cas-certificate · F:cas-lib-integrate-polynomial-certified