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