Stéphane Despreaux and Aude Maignan.

A short tutorial for Dynsys: A program for dynamical systems based on dynamic graphs

Fadoua Ghourabi, Tetsuo Ida and Hidekazu Takahashi.

Reasoning Tool for Mathematical Origami Construction

Shutaro Inoue and Yosuke Sato.

BGSet - a software to compute boolean Gröbner bases

Hidenao Iwane, Hitoshi Yanami and Hirokazu Anai.

A parameter optimization toolbox SyNRAC and its industry-specific applications

Viktor Levandovskyy.

D-Modules with Singular

Françoise Richard-Jung.

The DESIR package