Mathematica 9 is now available

Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Algorithmic Algorithm Synthesis
Author

Bruno Buchberger
Organization: Johannes Kepler University
Department: RISC-Linz
Revision date

2004-06-02
Description

The Theorema project [BB et al. 1996 ...] aims at computer-support of all phases of mathematical activity:

* invention of notions
* invention and proof of propositions
* invention of problems
* invention and proof of algorithms

Theorema can perform an Algorithmic Synthesis of the author's Gröbner Bases Algorithm. This is discussed in the second half of the notebook.
Subjects

*Mathematics > Algebra > Polynomials
*Mathematics > Foundations of Mathematics
Keywords

Gröbner Bases, Theorema
Related items

*Computer-Supported Mathematical Theory Exploration   [in MathSource: Packages and Programs]
Downloads Download Wolfram CDF Player

Download
Automated-Invention-of-Groebner-Bases-Algorithm-2004-05-26-09h.nb (126.1 KB) - Mathematica Notebook [for Mathematica 5.0]