|
|
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
ISSAC 2009