✦ LIBER ✦

Theorema: Towards computer-aided mathematical theory exploration

✍ Scribed by Bruno Buchberger; Adrian Crǎciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 580 KB
Volume: 4
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.10.006

No coin nor oath required. For personal study only.

✦ Synopsis

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 Theoremasupported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives an overview on some reasoners and organizational tools for theory exploration developed in the Theorema project.

📜 SIMILAR VOLUMES

Towards computer aided mathematics

✍ Christoph Benzmüller 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 88 KB

In his autobiography 1 Bertrand Russell characterizes mathematics as follows: "It seems to me now that mathematics is capable of an artistic excellence as great as that of any music, perhaps greater; not because the pleasure it gives (although very pure) is comparable, either in intensity or in the