A Survey of the Theorema Project

A Survey of the Theorema Project,10.1145/258726.258853,Bruno Buchberger,Tudor Jebelean,Franz Kriftner,Mircea Marin,Elena Tomuta,Daniela Vasaru

A Survey of the Theorema Project   (Citations: 53)
BibTex | RIS | RefWorks Download
The Theorema project aims at extending current computeralgebra systems by facilities for supporting mathematicalproving. The present early-prototype version of the Theorema software system is implemented in Mathematica 3.0.The system consists of a general higher-order predicate logicprover and a collection of special provers that call each otherdepending on the particular proof situations. The individualprovers imitate the proof style of human mathematiciansand aim at producing...
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: