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 |