 | |
 |
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
 | |
|
 |
|
 |
 | |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
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