On these pages I have put some code (and related theory), that I have written, for modeling discrete algebraic structures.
- Here - for an implementation of graph theory.
- Here - for an implementation of logic structures such as partial orders and lattice structures.
- Here - for an implementation of finite groups - (Axiom already implements groups as permutation groups but this is an alternative implementation using multiplication tables).
- Here - for simplicial complexes. Either geometric or abstract (combinatorial) version of Simplicial Complexes.