Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reas...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
Springer
2002
|
| Online Access: | https://eprints.nottingham.ac.uk/322/ |