July 28–31, 2009, Seoul, Korea

Sofware Exhibits

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