home about



Online Encyclopedia of
Mathematical Models.






Models.

boolean algebras, lattices, directed sets, equivalence relations,
graphs, directed graphs, bipartite graphs,
pre-orderings, strict partial orders, strict weak orderings, partial orderings, weak orderings, total orderings,
groups, rings, fields, racks, quandles, Tarski's HS Algebra,
more coming soon.







Tools For Mathematical Models.

Axioms.
Choose axioms or edit your own. See manual.
text, pretty text, or graphic.

Model Enumerator.

JavaScript or C code.
Conjecture Enumerator.
.








home about


Public domain. This website is still under construction.