Mathpert
From MaRDI portal
Cited in
(18)- Constraint solving for proof planning
- ActiveMath
- Aplusix-editor
- STACK
- MathXpert
- Aplusix
- Towards specifying symbolic computation
- 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
- Canonical Forms in Interactive Exercise Assistants
- scientific article; zbMATH DE number 2000437 (Why is no real title available?)
- scientific article; zbMATH DE number 2090052 (Why is no real title available?)
- USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
- Interleaving strategies
- Ten commandments for good default expression simplification
- Automatic derivation of the irrationality of e
- Specifying rewrite strategies for interactive exercises
This page was built for software: Mathpert
