Theorema: Towards computer-aided mathematical theory exploration

Buchberger, Bruno, Craciun, Adrian, Jebelean, Tudor, Kovacs, Laura, Temur, Kutsia, Koji, Nakagawa, Piroi, Florina, Popov, Nikolaj, Robu, Judit, Rosenkranz, Markus, and others. (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. (doi:10.1016/j.jal.2005.10.006) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29973)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
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
DOI/Identification number:	10.1016/j.jal.2005.10.006
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:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Mathematics, Statistics and Actuarial Science
Depositing User:	Markus Rosenkranz
Date Deposited:	27 Jul 2012 16:40 UTC
Last Modified:	16 Nov 2021 10:07 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/29973 (The current URI for this page, for reference purposes)

University of Kent Author Information

Rosenkranz, Markus.

Creator's ORCID:
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.