MathXpert

swMATH8326MaRDI QIDQ20335FDOQ20335

Author name not available (Why is that?)

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