| 2021 | SYNASC | Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents. | Tateaki Sasaki, Masaru Sanuki, Daiju Inaba |
| 2019 | SYNASC | An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation. | Tateaki Sasaki |
| 2018 | CASC | A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence. | Tateaki Sasaki |
| 2018 | SYNASC | Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences. | Tateaki Sasaki, Daiju Inaba |
| 2017 | SYNASC | Simple Relation between the Lowest-Order Element of Ideal 〈G, H〉 and the Last Element of Polynomial Remainder Sequence. | Tateaki Sasaki, Daiju Inaba |
| 2016 | CASC | Enhancing the Extended Hensel Construction by Using Grbner Bases. | Tateaki Sasaki, Daiju Inaba |
| 2016 | SYNASC | Various Enhancements for Extended Hensel Construction of Sparse Multivariate Polynomials. | Tateaki Sasaki, Daiju Inaba |
| 2015 | SYNASC | Computation of GCD of Sparse Multivariate Polynomials by Extended Hensel Construction. | Masaru Sanuki, Daiju Inaba, Tateaki Sasaki |
| 2014 | CASC | Solving Parametric Sparse Linear Systems by Local Blocking. | Tateaki Sasaki, Daiju Inaba, Fujio Kako |
| 2014 | SYNASC | Solving Parametric Sparse Linear Systems by Local Blocking, II. | Tateaki Sasaki |
| 2013 | CASC | Towards Industrial Application of Approximate Computer Algebra. | Tateaki Sasaki, Daiju Inaba, Fujio Kako |
| 2013 | SYNASC | On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model Simulation. | Tateaki Sasaki, Tetsu Yamaguchi |
| 2012 | CASC | Approximately Singular Systems and Ill-Conditioned Polynomial Systems. | Tateaki Sasaki, Daiju Inaba |
| 2012 | SYNASC | Proposal of Singularization of Approximately Singular Polynomial Systems. | Tateaki Sasaki |
| 2011 | SYNASC | A Theory and an Algorithm of Approximate Grbner Bases. | Tateaki Sasaki |
| 2010 | CASC | Term Cancellations in Computing Floating-Point Grbner Bases. | Tateaki Sasaki, Fujio Kako |
| 2007 | ISSAC | A numerical study of extended Hensel series. | Daiju Inaba, Tateaki Sasaki |
| 2007 | ISSAC | Computing Approximate GCDs in Ill-conditioned Cases. | Masaru Sanuki, Tateaki Sasaki |
| 2007 | ISSAC | Computing floating-point grbner bases stably. | Tateaki Sasaki, Fujio Kako |
| 2003 | ISSAC | The subresultant and clusters of close roots. | Tateaki Sasaki |
| 2001 | ISSAC | Approximate multivariate polynomial factorization based on zero-sum relations. | Tateaki Sasaki |
| 1998 | ISSAC | An Analysis of Cancellation Error in Multivariate Hensel Construction with Floating-Point Number Arithmetic. | Tateaki Sasaki, Satoshi Yamaguchi |
| 1986 | ISSAC | Simplification of algebraic expression by multiterm rewriting rules. | Tateaki Sasaki |
| 1981 | ISSAC | Parallelism in algebraic computation and parallel algorithms for symbolic linear systems. | Tateaki Sasaki, Yasumasa Kanada |
| 1981 | ISSAC | Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract). | Tateaki Sasaki, Hirokazu Murao |