Projects

IDA Interactive Documents on Algebra
OpenMath A standard for semantically rich representation of mathematics in electronic form
LiE A software package for Lie group computations
MMM Meaningful Mathematical Messages
Extremal elements Lie algebras generated by extremal elements
Calculemus The interaction between Computer Algebra and Proof Assistants
DTG Distance Transitive Graphs
Diagram Geometry A book with Francis Buekenhout
LeActiveMath Building an exercise repository for e_Learning
MathDox Tools for Interactive Mathematical Documents
WebALT Multilingual interactive Mathematical teaching material





(last update May 2007)