Mathpert
From MaRDI portal
Cited in
(18)- A tool for evaluating solution economy of algebraic transformations
- Automatic derivation of the irrationality of \(e\)
- scientific article; zbMATH DE number 2090052 (Why is no real title available?)
- Ten commandments for good default expression simplification
- Canonical Forms in Interactive Exercise Assistants
- scientific article; zbMATH DE number 2000437 (Why is no real title available?)
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
- ActiveMath
- Aplusix-editor
- STACK
- MathXpert
- Aplusix
- Constraint solving for proof planning
- 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
