|
|||||
|
|
Theorema: Towards computer-aided mathematical theory exploration |
|
| Authors: | Bruno Buchberger, Adrian CrÎ ciun, Tudor Jebelean, Laura Kov cs, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz,Wolfgang Windsteiger |
| Affiliation: | aResearch Institute for Symbolic Computation, Johannes Kepler University, Altenbergerstraße 69, A-4040 Linz, Austria bJohann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences, Altenbergerstraße 69, A-4040 Linz, Austria |
| 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 Gröbner Bases) and gives an overview on some reasoners and organizational tools for theory exploration developed in the Theorema project. |
| Keywords: | Mathematical assistant Automated reasoning Theory exploration “Lazy Thinking” Theorema |
| 本文献已被 ScienceDirect 等数据库收录！ | |