2016 RIMS Joint Research: Developments in Computer Algebra
A joint research for examining prospects and future direction of computer algebra.
Program
7th September (Wed)
- 10:30 - 12:30
- Pre session: Basic Theory in Computer Algebra
- 12:30 - 13:30
- Lunch
- 13:30 - 13:35
- Opening remarks
- 13:35 - 14:55 (general session)
-
- Reformulation of Algorithm of Extended Hensel Construction for Sparse Multivariate Polynomials
Tateaki Sasaki (University of Tsukuba), Daiju Inaba (The Mathematics Certification Institute of Japan)
- Multivariate Approximate GCD Computation via Extended Hensel Construction and Its Stabilization : Part1
Masaru Sanuki (University of Tsukuba), Daiju Inaba (The Mathematics Certification Institute of Japan), Tateaki Sasaki (University of Tsukuba)
- 15:05 - 16:25 (general session)
-
- Calculating matrix inverse by the extended Horner's rule with pseudo minimal polynomial II
Shinichi Tajima (University of Tsukuba), Katsuyoshi Ohara (Kanazawa University), Akira Terui (University of Tsukuba)
- A robust algorithm for sparse interpolation of multivariate polynomials
Dai Numahata (Tokyo University of Science)
8th September (Thu)
- 09:00 - 10:20 (general session)
-
-
Computing limiting tangent spaces via parametric local cohomology systems
Katsusuke Nabeshima (Tokushima University), Shinichi Tajima (University of Tsukuba)
- Computer algebra and Bruce-Roberts-Milnor number
Takeshi Izawa (Hokkaido University of Science), Katsusuke Nabeshima (Tokushima University), Shinich Tajima (University of Tsukuba)
- 10:30 - 11:50 (general session)
-
- An algorithm for computing Hilbert-Samuel multiplicities of primary ideals
of CM local rings
Takafumi Shibuta (Kyushu University), Shinichi Tajima (University of Tsukuba)
- An algorithm and implementation for computing Grothendieck local residues in the case of shape bases
Katsuyoshi Ohara (Kanazawa University), Shinichi Tajima (University of Tsukuba)
- 11:50 - 12:50
- Lunch
- 12:50 - 13:50 Invited Talk
-
- Computer Algebra, the beginning and basic theory
Tateaki Sasaki (University of Tsukuba)
- 14:00 - 15:00 Invited Talk
-
- Computer Algebra, the recent topics and future
Kazuhiro Yokoyama (Rikkyo University)
- 15:10 - 16:40
- Main session: Re-Formation of Basic Theory
9th September (Fri)
- 09:00 - 10:20 (general session)
-
- Complex geometry of Blaschke products and associated circumscribed conics
Masayo Fujimura (National Defense Academy)
- Tuning of Transfer Properties of the Filter Which Is a Polynomial of a Resolvent Expressed in the Form of the Chebyshev Expansion
Hiroshi Murakami (Tokyo Metropolitan University)
- 10:30 - 11:50 (general session)
-
- CGS-QE without saturation ideal computations
Ryoya Fukasaku (Tokyo University of Science), Hidenao Iwane (Fujitsu Laboratories Ltd./National Institute of Informatics), Yosuke Sato (Tokyo University of Science)
- Formula simplification for CGS-QE with inequality constraints
Hidenao Iwane (Fujitsu Laboratories Ltd./National Institute of Informatics), Ryoya Fukasaku (Tokyo University of Science), Yosuke Sato(Tokyo University of Science)
- 11:50 - 11:55
- Closing remarks
- 11:55 - 12:55
- Lunch
- 12:55 - 14:55
- Post session: Textbook in Japanese
Last modified: 25th August, 2016.
