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