Department of Mathematics
University of Hawaii
Honolulu, HI 96822
E-mail: email me
UACalc and other Software
- Universal Algebra Calculator:
This free program is capable of doing numerous things in Universal Algebra.
including lattice drawing, Maltsev conditions, etc. It has its own website:
- Lattice Drawing Program:
I have a java component for drawing lattices and ordered sets. There
are some demos and sample applictions.
General Algebra and Lattice Theory Homepages
Conferences and Seminar Talks:
- My talk on Linear Mal'tsev Conditions.
Video available at
Trobe GAIA Seminar Page,
Sept 24/25, 2020.
- My talk on embedding
modular lattices in congruence lattices,
JMM2020, Jan 13, 2020.
- My talk on Representations of
Lattices as Congruence Lattices of Finite Algebras,
at BLAST 2017, Vanderbilt University Aug 14-18, 2017.
- UACalc file with algebras whose
congruence lattices have at most 7 elments.
- My talk on Projective
Lattices, with applications to isotone maps and databases,
at CLA 2013, La Rochelle, France Oct 15-18, 2013.
- My talk on the use
and implementation of the Universal Algebra Calculator,
at the first Conference/Workshop on Computational
Universal Algebra, University of Louisville, Oct 4, 2013.
- My talk on Maltsev products
of congruence permutable varieties,
at the Louisville AMS Meeting, Oct 5-6, 2013.
- My talk on Maltsev Conditions,
at the Lattice Theory and Universal Algebra Meeting
honoring Bela Csakany, Szeged, June 21-26, 2012.
- My talk on semidistributivity
at the Honolulu AMS Meeting, Mar 3-4, 2012.
- My talk on Algorithm and
the Universal Algebra Calculator,
JardaFest Meeting, Jun 21-25, 2010.
- My talk on Maltsev Conditions
(joint with Matt Valeriote)
at the Nashville Conference June 11-16, 2007.
- My talk on Congruence Varieties
at the Gratzer Schmidt 70th Birthday Party,
Budapest, June 6-9, 2006.
- My talk on
computing TCT types in \( O(n^3) \) time,
at the Universal Algebra and Lattice Theory Congerence,
Szeged, July 4-8, 2005.