Inductive theorem proving and computer algebra in the MathWeb Software Bus

DOI10.1007/3-540-45470-5_28MaRDI QIDQ4808728zbMATH OpenFDO

Authors Jürgen Zimmer, Louise A. Dennis

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2385/23850319.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• System description: The MathWeb software bus for distributed mathematical reasoning
• Towards the Mathematics Software Bus
• scientific article; zbMATH DE number 1254011
• scientific article; zbMATH DE number 517013
• Integrating computer algebra into proof planning

Cited in

(1)

• System description: The MathWeb software bus for distributed mathematical reasoning

Describes a project that uses

Uses Software

• Maple
• MathWeb
• PROSPER
• Oz
• Analytica
• Lambda-Clam

This page was built for publication: Inductive theorem proving and computer algebra in the MathWeb Software Bus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808728)