[Japanese | English]
Akira Suzuki
publications
- Computation of Full Comprehensive Groebner Bases Using Groebner Bases, Akira Suzuki, submitting
- A Canonical Expression of Algebraically Constructible Sets, Akira Suzuki, submitting
- A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases, Akira Suzuki and Yosuke Sato, Proceedings of ISSAC, 2006, 326--331. (implementations)
- Computation of Full Comprehensive Groebner Bases, Akira Suzuki, LNCS Vol. 3718 (CASC 2005), 2005, 431--444
- Full Comprehensive Groebner Bases, Akira Suzuki, in preparation
- Comprehensive Groebner Bases via ACGB, Akira Suzuki and Yosuke Sato, submitting
- An alternative approach to Comprehensive Groebner Bases, Akira Suzuki and Yosuke Sato, Journal of Symbolic Computation, 2003, 649--667
- Discrete Comprehensive Groebner Bases, Yosuke Sato and Akira Suzuki, Proceedings of International Symposium on Symbolic and Algebraic Computation, 2001, 292--296
- Parallel Computation of Boolean Groebner Bases, Yosuke Sato and Akira Suzuki, Proceedings of ATCM 1999, 1999, 1591-1594
- Discrete Comprehensive Groebner Bases, Yosuke Sato and Akira Suzuki, Proceedings of International Symposium on Symbolic and Algebraic Computation, 2001, 292--296
- No elementary embedding from V into V is definable from parameters, Akira Suzuki, The Journal of Symbolic Logic, 1999, 1591--1594
- Non-existence of generic elementary embeddings into the ground model, Akira Suzuki, Tsukuba Journal of Mathematics, 1998, 343--347
invited talks
- Simple Algorithms to Compute Comprehensive Groenber Bases and Their Implementations, KLMM seminar, Akira Suzuki, August 2006 , Chinese Academy of Science PDF
- An Easy Way to Compute Comprehensive Groebner Bases and Its Implementations, Akira Suzuki, KIAS-RIMS Joint Workshop on Computer Algebra, July 2006, Korea Institute for Advanced Study PDF
- Groebner bases with parameters and their computational algorithm (in Japanese), Akira Suzuki, RIMS workshop, February 2006, Kyoto University
contributed talks
- Implementation of CGS on small devices, Akira Suzuki, ACA 2008, July 2008, Linz (Austria)
- Boolean Groebner Bases and Sudoku, Yosuke Sato, Akira Suzuki, Shutaro Inoue and Katsusuke Nabeshima, ACA 2008, July 2008, Linz (Austria)
- A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases, Akira Suzuki and Yosuke Sato, ISSAC 2006, July 2006, Genova (Italy) PDF
- On Algorithms for Calculus of Sets, Shutaro Inoue, Yosuke Sato and Akira Suzuki, MACIS 2006, July 2006, Beijing (China)
- Computation of Full Comprehensive Groenber Bases using Groebner Bases, ACA 2206, June 2006, Varna (Bulgaria) PDF
- Implementations of CGS, CGB to Risa/Asir and their comparison with the existings (in Japanese), Risa/Asir Conference 2006, March 2006, Kobe (Japan) PDF
- Computation of Comprehensive Gr\"obner Systems using Gr\"obner Bases and Primary Ideal Decompositions, ASCM 2005, December 2005, Seoul (Korea) PDF
- A New Algortihm to Computer Comprehensieve Gr\"obner Bases, AC 2005, November 2005, Tokyo (Japan) PDF
- Computation of Full Comprehensive Groebner Bases, Akira Suzuki, CASC 2005, September 2005, Kalamata (Greece)
- Full Comprehensive Groebner Bases, Akira Suzuki, Algorithmic Algebra and Logic 2005, April 2005, Passau (Germany)
- Discrete Comprehensive Groebner Bases -- revised --, Yosuke Sato and Akira Suzuki and Katsusuke Nabeshima, ASCM 2003, October 2003, Beijing (China)
- ACGB on Varieties, Yosuke Sato and Akira Suzuki and Katsusuke Nabeshima, Computer Algebra in Scientific Computing 2003, September 2003, Passau (Germany)
- An alternative approach to Comprehensive Groebner Bases, Akira Suzuki and Yosuke Sato, ISSAC 2002, July 2002, Lille (France)
- Boolean-valued Design Theory, Yuzuru Kakuda and Akira Suzuki, Logic Colloquium 2001, August 2001, Vienna University of Technology (Austria)
- Groebner Bases in Polynomial Rings over Von Neumann Regular Rings --- their applications ---, Y. Sato and A. Suzuki, ASCM 2000, December 2000, Chang Mai (Thailand)
- Parallel Computation of Boolean Groebner bases, Y. Sato and A. Suzuki, Fourth Asian Technology Conference in Mathematics (ATCM 99), December 1999, Guangzhou (China)
- On implementation of ACGB(Alternative Comprehensive Groebner Basis) by Risa/Asir, Akira Suzuki and Yosuke Sato, RisaConII 11, March 2003, Kobe (Japan)
- On Implementaion of ACGB, Akira Suzuki and Yosuke Sato, 8th International Conference on Applications of Computer Algebra (ACA 2002), June 2002, Volos (Greece)
- Discrete comprehensive Groebner Bases, Yosuke Sato and Akira Suzuki, 6th IMACS International Conference on Application of Coputer Algebra, June 2000, St. Petersburg (Russia)
- Nontrivial elementary embeddings from V into V, Akira Suzuki, International Conference on Topology and its Applications (ICTA 1999), August 1999, Kanagawa (Japan)
