Talks
副标题：
| Title | First name | Last name | Affiliation |
| Computer Algebra and Algebraic geometry ( Haibao Duan / Josef Schicho ) | |||
| Algorithm for multiplying Schubert classes | Haibao | Duan | Chinese Academy of Sciences |
| Realization of numbers as the degrees of maps between manifolds | Fei | Xu | Chinese Academy of Sciences |
| Exact Morphological Classification for Quadric Surface Intersection Curves | Wenping | Wang | University of Hong Kong |
| Computing cohomology rings of Exceptional Grassmannians | Xuezhi | Zhao | Capital Normal University |
| Generic initial ideals of smooth integral curves in projective space | Jeaman | Ahn | Korea Institute for advanced study |
| Almost Polynomial Complexity for Zero--dimensional Grobner Bases | Amir | Hashemi | University of Paris 6 |
| Daniel | Lazard | University of Paris 6 | |
| Computer Algebra and Automated deduction ( Dongming Wang / Tudor Jebelean ) | |||
| Computer Algebra and Automated Deduction: A Brief Introduction | Dongming | Wang | Beihang University and UPMC-CNRS |
| Combining Computer Algebra and Automatic Reasoning in Theorema | Tudor | Jebelean | Research Institute for Symbolic Computation |
| A Rule-Based Framework for Automated Reasoning | Mircea | Marin | University of Tsukuba |
| Tetsuo | Ida | University of Tsukuba | |
| Cayley Factorization in 3D – A Challenge to Both Classical Invariant Theory and Automated Mathematical Reasoning | Hongbo | Li | Chinese Academy of Sciences |
| Fengmei | Zou | Xiamen University | |
| An Abstract, Coordinate-free, Vector Algebra Package | Songxin | Liang | University of Western Ontario |
| David J. | Jeffrey | University of Western Ontario | |
| Stephen M. | Watt | University of Western Ontario | |
| The Recursive Algorithm for Constructing Dixon Matrices | Hongguang | Fu | Chinese Academy of Sciences |
| Shizhong | Zhao | Chinese Academy of Sciences | |
| Zhiwei | Xu | Chinese Academy of Sciences | |
| Computer Algebra and Combinatorics ( Jack Koolen / William J. Martin ) | |||
| Overview of the computer algebra in algebraic combinatorics | Jack | Koolen | POSTECH |
| Covering radii of extremal binary doubly even self-dual codes | Akihiro | Munemasa | Tohoku University |
| On the local structure of the twisted Grassmann graphs | Tatsuya | Fujisaki | Tsukuba University |
| The uniqueness of the Patterson graph | Aleksandar | Jurisic | IMFM, University of Ljubljana, |
| Linear programming bounds for (T,M,S)-nets | William | Martin | Worcester Polytechnic Institute |
| Computer Algebra and Control system design ( Hirokazu Anai / Stefan Ratschan ) | |||
| Computer Algebra and Control System Design (Overview) | Hirokazu | Anai | FUJITSU LABORATORIES LTD / CREST JST |
| Application of the QE Method to the Common Quadratic Lyapunov Function Problem | Thang | Nguyen | KIT |
| Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems | Sunseong | Choe | JAIST |
| Constraint Based Verification of Hybrid Systems | Zhikun | She | MPI fuer Informatics |
| On the condition for settling time constraints | Takuya | Kitamot | Yamaguchi University |
| A MATLAB toolbox for parametric robust control based on symbolic-numeric computation | Myunghoon | Hong | FUJITSU LABORATORIES LTD / CREST JST |
| Computer Algebra and Cryptography ( YoungJu Choie / Steven Galbraith ) | |||
| Pairings, Discrete Log Problems and Cryptography | Takakazu | Satoh | Tokyo Institute of Technology |
|
Algebraic issues in GB Polly Cracker Cryptosystem |
Jeaman |
Ahn | KIAS |
| Eunjeong | Lee | KIAS | |
|
HyungJu |
Park | KIAS | |
| Algebraic Degrees of the Inverse of Linearized polynomials | Dong Hoon | Lee | National Security Research Institute |
| A public key encryption scheme using Algebraic-Geometry Codes | JungKeun | Lee | National Security Research Institute |
|
Generalized tau-adic Non-Adjacent Forms |
Jung Hee |
Cheon | Seoul National University |
| Computer Algebra and Differential / difference equations ( Ziming Li / Michael Singer ) | |||
| On holonomic D-modules attached to a hypersurface isolated singularity | Shinichi | Tajima | Niigata University |
| Yayoi | Nakamura | Kinki University | |
| Families Of Factorizations Of Linear Partial Differential Operators in an Arbitrary Number of Variables | Ekaterina | Shemyakova | Research Institute for Symbolic Computations |
| Rational Solutions of Algebraic Ordinary Difference Equations | Ruyong | Feng | Academia Sinica |
| Xiaoshan | Gao | Academia Sinica | |
| Determination of Displacement Efficiency in Polymer Injection | Ignatius | Trinartomo | Institut Teknologi Bandung |
| Dimension formula of solution spaces of A-hypergeometric differential-difference systems | Katsuyoshi | Ohara | Kanazawa University |
| Nobuki | Takayama | Kobe University | |
| A Polynomial Algorithm for the Uniform General Solutions of First Order Algebraic Differential Equations | Yujie | Ma | Academia Sinica |
| Shengtian | Zhou | Academia Sinica | |
| Factoring Finite-dimensional Modules over Laurent-Ore Algebras | Ziming | Li | Academia Sinica |
| Computer Algebra and Geometric constraint solving ( Xiao-Shan Gao / Meera Sitharam ) | |||
| A review for geometric constraint solving | Xiao-Shan | Gao | Academia Sinica |
| Meera | Sitharam | University of Florida | |
| Algebraic geometry for constraint problems | Ciprian S. | Borcea | Rider University |
| Some special problems on geometric constraint solving | Lu | Yang | East China Normal University |
| Zhenbing | Zeng | East China Normal University | |
| Combinatorial classification of 2D under-constrained systems | Heping | Gao | University of Florida |
| Meera | Sitharam | University of Florida | |
| Well-constrained Completion for Under constrained Geometric Constraint Problems | Xiao-Shan | Gao | Academia Sinica |
| Gui-Fang | Zhang | Beijing Forestry University | |
| Computer Algebra and Geometric modeling ( Chionh Eng Wee / Ronald N. Goldman ) | |||
| Geometric Computations Made Easy in Parameter Space | Myung-Soo | Kim | Seoul National University |
| Continuous Collision Detection for Composite Quadric Primitives | Wenping | Wang | University of Hong Kong |
| 0/0 Simplifies Implicitization | Eng-Wee | Chionh | National University of Singapore |
| Computer Algebra and Parametric polynomial systems ( Kazuhiro Yokoyama / Volker Weispfenning ) | |||
| Overview on Computer Algebra and Parametric Polynomial Systems | Kazuhiro | Yokoyama | Rikkyo University |
| Volker | Weispfenning | University of Passau | |
| On the Construction of Comprehensive Boolean Gröbner Bases | Yosuke | Sato | Tokyo University of Science |
| Syutaro | Inoue | Tokyo University of Science | |
| Computation of Comprehensive Gröbner Systems using Gröbner Bases and Primary Ideal Decompositions | Akira | Suzuki | Kobe University |
| Solving Parametric Semi-Algebraic Systems | Bican | Xia | Peking University |
| Rong | Xiao | Peking University | |
| Lu | Yang | East China Normal University | |
| Generally Comprehensive Gröbner Bases for Certain Polynomial Ideals | Wei | Pan | University of Science and Technology |
| Computer Algebra and Representation theory ( Seok-Jin Kang / Leonid Bokut ) | |||
| Gröbner-Shirshov basis theory for non-commutative algebras and their representations | Seok-Jin | Kang | Seoul National University |
|
Calculations in conformal Lie superalgebras |
Pavel | Kolesnikov | Novosibirsk State University |
| Computing the Hochschild cohomology algebras using Gröbner bases | Yuji | Kobayashi | Toho University |
|
Representations of Ariki-Koike algebras and Gröbner-Shirshov bases |
Kyu-Hwan | Lee | University of Connecticut |
| Gröbner-Shirshov bases and normal forms for braid groups | Leonid | Bokut | Novosibirsk State University |
| Computer Algebra and Signal processing ( Hyungju Park / Jeremy Johnson ) | |||
| Parahermitian Analogue of Serre Conjecture and Higher Dimensional Wavelet Construction | Hyungju | Park | Korea Institute for Advanced Study |
| The Effect of Approximation Procedure on the Rate of Convergence of Iteration Algorithm in Signal Processing | Kedarnath | Senapati | Institute of Mathematics and Applications |
| Minimal Realization for a Class of nD Filters by Grobner Basis Approach | Li | Xu | Akita Prefectural University |
| Symbolic Computation of DOA Distribution by Algebraic Phase Unwrapping Algorithm | Isao | Yamada | Tokyo Institute of Technology |
| Generating Symmetric FFT Algorithms | Jeremy | Johnson | Drexel University |
| Computer Algebra and Statistics (Naoto Niki / Serkan Hosten ) | |||
| Computer algebra and statistics --- an overview | Naoto | Niki | Tokyo University of Science |
| Indispensable monomials of toric ideals and Markov bases | Satoshi | Aoki | Kagoshima University |
| Akimichi | Takemura | University of Tokyo | |
| Ruriko | Yoshida | Duke University | |
| Approximate cumulants of the distribution of sample Pearson measure of skewness | Shigekazu | Nakagawa | Kurashiki University |
| Naoto | Niki | Tokyo University of Science | |
| Calculation of formal moment generating function by using differential operator | Hiroki | Hashiguchi | Saitama University |
| Toshiya | Iwashita | Tokyo University of Science | |
| Matrix differentiation on a class of functions of the inverse matrix of independent variables and its application to multivariate analysis | Tatsuki | Inoue | Waseda University |
| Naoto | Niki | Tokyo University of Science | |
| Toshiya | Iwashita | Tokyo University of Science | |
| Computer Algebra and Symbolic-numeric algorithms ( Lihong Zhi / Mark Giesbrecht ) | |||
| Approximate GCD and its Applications | Matu-Taro | Noda | Ehime University |
| Hiroshi | Kai | Ehime University | |
| Structured Low Rank Approximation of a Sylvester Matrix | Erich | Kaltofen | North Carolina State University |
| Zhengfeng | Yang | Chinese Academy of Sciences | |
| Lihong | Zhi | Chinese Academy of Sciences | |
| Symbolic-numeric Sparse Interpolation of Mulltivariate Polynomials | Mark | Giesbrecht | University of Waterloo |
| George | Labahn | University of Waterloo | |
| Wen-shin | Lee | University of Antwerp | |
| Algebraic Algorithms for Skew-Hadamard Matrices | Ilias S. | Kotsireas | Wilfrid Laurier University |
| Christos | Koukouvinos | National Technical University of Athens | |
| A Hybrid Method for Solving Systems of Parametric Polynomial Equations | Long | Lin | Chinese Academy of Sciences |
| Yao | Sun | Chinese Academy of Sciences | |
| Dingkang | Wang | Chinese Academy of Sciences | |
| Real Solution Isolation Based on Interval Krawczyk Operator | Ting | Zhang | Peking University |
| Rong | Xiao | Peking University | |
| Bican | Xia | Peking University | |
| On the Location of Pseudozeros of a Complex Interval Polynomial | Hiroshi | Sekigawa | Nippon Telegraph and Telephone Corporation |
| Kiyoshi | Shirayanagi | Nippon Telegraph and Telephone Corporation | |
| Multivariate Polynomial Factorization by Interpolation Method | Jingzhong | Zhang | Chinese Academy of Sciences |
| Yong | Feng | Chinese Academy of Sciences | |
| Xijing | Tang | Chinese Academy of Sciences | |
| Absolute Approximation of the General Hypergeometric Function | Zilin | Du | Courant Institute of Mathematical Sciences |
| Chee | Yap | Courant Institute of Mathematical Sciences | |
| Symbolic-Numeric Algorithms in Engineering: Colloid interactions | David | Jeffrey | University of Western Ontario |
| Computer Algebra and System Design and Implementation ( Nobuki Takayama / Koji Nakagawa ) | |||
| GNU TEXmacs | Joris | van der Hoeven | Université Paris-Sud |
| Multimedia User Interface for CAS | Keehong | Song | Pusan National University |
| KNOPPIX/Math: Potable and distributable collection of mathematical software and free documents | Tatsuyoshi | Hamada | Fukuoka University |
| Kuniyasu | Suzaki | AIST | |
| Kengo | Iijima | AIST | |
| Arimitsu | Shikoda | Tohoku Gakuin University | |
| AsirPad - A Computer Algebra System with a Pen-based Interface on PDA | Mitsushi | Fujimoto | Fukuoka University of Education |
| Masakazu | Suzuki | Kyushu University | |
| Question and Answer Check System for Mathematics on the Web | Seiichi | Toyota | Kyushu University |
| Tsuyoshi | Miezaki | Kyushu University | |
| Masakazu | Suzuki | Kyushu University | |
