MathXpert

MaRDI QIDQ20335swMATHFDO

Official website http://www.cs.sjsu.edu/~beeson/Papers/English-ste/English-ste.html

Cited in

(4)

• A tool for evaluating solution economy of algebraic transformations
• Mathematical induction in Otter-lambda
• Mathpert
• The meaning of infinity in calculus and computer algebra systems

This page was built for software: MathXpert