Institute of Mathematics for Industry

Workshops & Conferences



List of workshops & conferences

Developments in Computer Algebra Research and Collaboration with Industry


Hold Date 2013-08-21 14:00~2013-08-23 12:20

Place Room 2310, Center Zone 2, Ito Campus map, Kyushu University

Developments in Computer Algebra Research and Collaboration with Industry
https://sites.google.com/site/imidcar2013/(in Japanese)
: IMI Workshop of the Joint Research Projects
 
 Date
 
 August 21 - 23 , 2013
 
 Place
 
 Room 2310, Center Zone 2, Ito Campus map, Kyushu University
 AccessIto Campus map(number(51))
 
 Organizers
 
 Akira Terui (University of Tskuba)
 Katsuyoshi Ohara (Kanazawa University)
 Tatsuyoshi Hamada (Fukuoka University)
 Shun'ichi Yokoyama (Kyushu University)
 Hirokazu Anai (Fujitsu Laboratories Ltd. / Kyushu University)
 Hiroshi Yokota (Toshiba I.S. Corporation)
 
 Program
 (18lectures)
 Wednesday, August 21
 Session1
 (Application to mathematics)
 
 14:10 - 14:40
 Speaker: Masayo Fujimura (National Defense Academy)
 Title《Solving problems of Goldberg for rational maps on the projective space
 14:40 - 15:10
 Speaker: Nakayama Hiromasa (Kobe University / JST CREST)
 Title《Groebner bases of Lauricella's hypergeometric equations and its applications
 15:10 - 15:40
 Speaker: Satoshi Aoki (Kagoshima University / JST, CREST), Hidefumi Ohsugi(Rikkyo University / JST, CREST) and Takayuki Hibi (Osaka University / JST, CREST)
 Title《Markov chain Monte Carlo methods for the regular two-level fractional factorial designs and cut ideals
 Session2
 (Computation and application of Groebner bases)
 
 15:50 - 16:20
 Speaker: Xavier Dahan (Kyushu University)
 Title《Transformation of lexicographic Groebner bases to smaller systems
 16:20 - 16:50
 Speaker: Ryoya Fukasaku, Inoue Shutaro and Yosuke Sato (Tokyo University of Science)
 Title《On QE Algorithms over algebraically closed field

 

 
 Thursday, August 22
 Session3
 (Design of control systems)
 
 9:00 - 9:30
 Speaker: Hidenao Iwane, Hiroyuki Higuchi (Fujitsu Laboratories Ltd) and Hirokazu Anai (Fujitsu Laboratories Ltd / Kyushu University)
 Title《An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification
 9:30 - 10:00
 Speaker: Yoshinobu Matsui, Hidenao Iwane (Fujitsu Laboratories Ltd) and Hirokazu Anai (Fujitsu Laboratories Ltd / Kyushu University)
 Title《Optimal Controller Design for a Power Supply Unit Using Quantifier Elimination
 Session4
 (Software)
 
 10:10 - 10:40
 Speaker: Akihisa Kataoka and Hiroshi Kai (Ehime University)
 Title《Proposal of a search method for MathML Content Markup
 10:40 - 11:10
 Speaker: Tatsuyoshi Hamada (Fukuoka University / JST CREST / OCAMI)
 Title《MathLibre: distributable and customizable desktop environment for mathematics
 Session5
 (Education)
 
 11:20 - 11:50
 Speaker: Mitsushi Fujimoto (Fukuoka University of Education) and MasatakaTomari (Nihon University)
 Title《A hunting of operations with prime order on Rubik's Cube using computer algebra
 11:50 - 12:20
 Speaker: Takuya Kitamoto (Yamaguchi University)
 Title《On the Analysis of Sudoku Puzzles by Computers
 Tutorial1
 (Invited talk)
 
 14:00 - 15:20
 Speaker: Wen-Shin Lee (University of Antwerp)
 Title《Sparse interpolation and signal processing
 Tutorial2
 (Invited talk)
 
 15:30 - 16:50
 Speaker: Hisahiro Ito (TOYOTA MOTOR CORPORATION)
 Title《Engine Control System Development and Symbolic Manipulation - Application and Challenges in Modelling -

 

 
 Friday, August 23
 Session6
 (Symbolic-numeric computation)
 
 9:30 - 10:00
 Speaker: Masaru Sanuki (University of Tsukuba)
 Title《Computing the Approximate Multivariate Greatest Common Divisor via Rational Function
 10:00 - 10:30
 Speaker: Kosaku Nagasaka (Kobe University)
 Title《A note on required precision for computing numerical Groebner basis of exact input
 Session7
 (Linear algebra and algebraic equations)
 
 10:40 - 11:10
 Speaker: Katsuyoshi OHARA (Kanazawa University) and Shinichi TAJIMA (University of Tsukuba)
 Title《On determining the structure of the invariant space of matrices via pseudo-annihilating polynomials
 11:10 - 11:40
 Speaker: Shinichi Tajima and Akira Terui (University of Tsukuba)
 Title《Calculating eigenvectors of matrices using candidates for minimal annihilating polynomials II
 11:40 - 12:10
 Speaker: Kinji Kimura (Kyoto University)
 Title《Computing the longest polynomial in the world - general discriminant formula of degree 17 -
 
 ホームページ  https://sites.google.com/site/imidcar2013/(in Japanese)

Link