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
