MathXpert

swMATH8326MaRDI QIDQ20335FDOQ20335

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: MathXpert