Scalable Symbolic-Numeric Set Computations
The MATLAB toolbox for MEG, EEG and iEEG analysis
Constructing and optimizing general mathematical and physical models
12÷16×3=9÷4
Carassius is a tool for editing of Petri nets and graphs.
Constructing level-1-networks consistent with a set of quartets
Interactive spherical geometry software.