ASCM03 Posters

1. Randy F. Ardena: Characteristics of Self-Organizing Kristal Map

2. K. Li, M.Sakai, Y.Morizane, M.Kono, and M.-T. Noda Lupin: from Webservice to Web-based Problem Solving

3. Zhenfang Li, Jian Zhan, Lian Li: Mathematical Integrated Computation Environment

4. Chunwang Hou , Shurong Li A Study of Robot Collision Problem Using Optimum Method

5. Piangpob Mounnamprang Numerical Method for Solving the Flowing - Through Problem of Ideal Incompressible Fluid Flow in Term of Primitive Variables

6. X.S. Gao, M. Li Approximation Rational Parameterization to Real Plane Algebraic Curves

7. R. Feng, X.S. Gao A Polynomial Algorithm to Find General Rational Solutions to First Order ODE with Constant Coefficient.

8. Mila Majster Cederbaum, Jinzhao Wu A Theory of Action Refinement for Concurrent Systems With Quantitative Constraints

9. Jinzhao Wu Wu’s Method and Symbolic Model Checking

10. Katsuyoshi OHARA Risa/Asir Package for Non-commutative Gr¨obner Bases and its Applications

11. Xuefeng Chen, Xiaoshan Gao, Dingkang Wang Computation and Simplification of Quasi-Varieties

12. Franc¸ois Lemaire, Greg Reid, Robin Scott, Wenqin Zhou Approximate symmetries of differential equations and Numerical Jet Geometry

13. Ilia Toli and William Sit Hidden Algebraic Structure Cryptosystems