Theorema: Towards computer-aided mathematical theory exploration

Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/j.jal.2005.10.006

Abstract

Theorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Groebner Bases) and gives an overview on some reasoners and organizational tools for theory exploration developed in the Theorema project.

Item Type: Article
Uncontrolled keywords: Mathematical assistant; Automated reasoning; Theory exploration; "Lazy Thinking"; Theorema
Subjects: B Philosophy. Psychology. Religion > BC Logic
Q Science > Q Science (General) > Q335 Artificial intelligence
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76.E95 Expert Systems (Intelligent Knowledge Based Systems)
Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics
Divisions: Faculties > Science Technology and Medical Studies > School of Mathematics Statistics and Actuarial Science > Applied Mathematics
Depositing User: Markus Rosenkranz
Date Deposited: 27 Jul 2012 16:40
Last Modified: 13 Aug 2012 11:02
Resource URI: http://kar.kent.ac.uk/id/eprint/29973 (The current URI for this page, for reference purposes)
  • Depositors only (login required):