Mathpert
From MaRDI portal
Software:35808
No author found.
Related Items (13)
Unnamed Item ⋮ USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS ⋮ Specifying rewrite strategies for interactive exercises ⋮ A tool for evaluating solution economy of algebraic transformations ⋮ The meaning of infinity in calculus and computer algebra systems ⋮ Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates ⋮ Unnamed Item ⋮ Ten commandments for good default expression simplification ⋮ Constraint solving for proof planning ⋮ Automatic derivation of the irrationality of \(e\) ⋮ Interleaving Strategies ⋮ Towards specifying symbolic computation ⋮ Canonical Forms in Interactive Exercise Assistants
This page was built for software: Mathpert
