 |
|
|
|
|
 |
 |
|
Algorithmic Algorithm Synthesis
|
|
|
|
|
|
| Organization: | Johannes Kepler University |
|
|
|
|
|
|
2004-06-02
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
Gröbner Bases, Theorema
|
|
|
|
|
|
|
|
|
 |
|
|
| Automated-Invention-of-Groebner-Bases-Algorithm-2004-05-26-09h.nb (126.1 KB) - Mathematica Notebook [for Mathematica 5.0] |
|
|
For the newest resources, visit Wolfram Repositories and Archives »
