The Mathematica Journal
Departments
Feature Articles
Columns
New Products
New Publications
Classifieds
Calendar
News Bulletins
Mailbox
Letters
FAQ
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues
Home
Download this Issue

Abstract of a Talk at IMS '99

Bruno Buchberger
Research 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.