Projects

This page lists current research projects of CEM.

SOFiA proof assistant

SOFiA is a syntactic system for implementing first-order mathematical formalism.

• Incomplete research notes on SOFiA
• Python implementation of SOFiA
• Haskell implementation of SOFiA, work in progress

Collaborators: Mr. Gregor Feierabend (honors student), Prof. Zurab Janelidze, Mr. Brandon Laing (masters student)

mclex

This is a project on making use of the computer to generate finite fragments of the infinite poset of classes of finitely complete categories defined by matrix properties.

• mclex python software
• first research paper making use of mclex (preprint, submitted for publication)
• the second paper, where a conjecture arising from the output of mclex has been settled (preprint, submitted for publication)

Collaborators: Dr. Michael Hoefnagel, Dr. Pierre-Alain Jacqmin (UCL, Belgium), Prof. Zurab Janelidze, Mr. Emil van der Walt (undergraduate student) 

stackwalk

This is a project on counting maximal chain numbers of stacked lattices.

• Python software
• preprint of the first paper making use of the software (accepted for publication in Order)

Collaborators: Prof. Helmut Prodinger, Prof. Zurab Janelidze, Dr. Francois van Niekerk.