 | |
 |
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
 | |
|
 |
|
 |
|
 |
 | |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
Abstract of a Talk at IMS '99
Bruno BuchbergerResearch Institute for Symbolic Computation
Johannes Kepler University Linz
A4232 Schloss Hagenberg, Austria
theorema@theorema.org
www.theorema.org
What is Theorema?
Theorema's Prove Command
A Proof Generated by Theorema
Perspective
Acknowledgment
About the Author
Copyright © 2001 Wolfram Media, Inc. All rights reserved.