LATTICE THEORY PAGE
The Béla Szőkefalvi-Nagy Medal for the year 2003 has been awarded to
George Grätzer,
from the Bolyai Institute of the University of Szeged .
with George Grätzer 2004 Szeged

Our teacher Ladislaus Fuchs ( June 2004 on the Big Five meeting in Budapest)
● A program to solve the word problem of lattices
● A program to test associativity conditions
● A program
to test if a lattice identity holds in the congruence variety of the variety
generated
by the quaternion group
Lattice drowing demo ( by Ralph Freese)
Universal Algebra Calculator (Emil Kiss's algebra calculator),
● The calculator now uses the lattice drawing program to display congruence lattices.
Concept analysis (Darmstadt, Peter Burmeister)
The Dresden Formal Concept Analysis Program (Dresden, Bernhard Ganter)
Finite projective planes (hungarian)
![]()
Results: (with George Grätzer)
● The minimal congruence representation
● Isoform lattices, pruning of intervals
December 2004