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

Fast Computation of Equivalence Classes

Roman E. Maeder
MathConsult Dr. R. Mäder
Samstagernstrasse 58a
8832 Wollerau, Switzerland
maeder@mathconsult.ch
www.mathconsult.ch

Equivalences

Preorders

Classifiers and Canonical Simplifiers

Examples

References

Additional Material


Converted by Mathematica