Mathpert
From MaRDI portal
swMATH24047MaRDI QIDQ35808FDOQ35808
Author name not available (Why is that?)
Official website: http://archives.math.utk.edu/ICTCM/i/01/A108.html
Cited In (18)
- 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
- Constraint solving for proof planning
- ActiveMath
- Aplusix-editor
- STACK
- MathXpert
- Aplusix
- Specifying rewrite strategies for interactive exercises
- The meaning of infinity in calculus and computer algebra systems
- Interleaving strategies
- USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
- Towards specifying symbolic computation
This page was built for software: Mathpert
