Carnegie Mellon University
Browse
file.pdf (176.39 kB)

System Description: Analytica 2

Download (176.39 kB)
journal contribution
posted on 2007-03-01, 00:00 authored by Edmund M Clarke, Michael Kohlhase, Joel Ouaknine, Klaus Sutner
The Analytica system is a theorem proving system for 19th century mathematics written on top of the Mathematica computer algebra system. It was developed in the early 1990's by X. Zhao and E. Clarke and has since been dormant. We describe recent work to resurrect the theorem prover and port it to newer versions of Mathematica. The new system Analytica 2 can still prove the same theorems, but has been significantly cleaned up. The code has been restructured and documented, the declarative knowledge has been separated from a logical kernel, and the system is being made available as a MathWeb service.

History

Date

2007-03-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC