| 2018 | AAAI | Learning Multi-Way Relations via Tensor Decomposition With Neural Networks. | Koji Maruhashi, Masaru Todoriki, Takuya Ohwa, Keisuke Goto, Yu Hasegawa, Hiroya Inakoshi, Hirokazu Anai |
| 2017 | ACL | Semantic Parsing of Pre-university Math Problems. | Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2017 | ISSAC | Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. | Hidenao Iwane, Hirokazu Anai |
| 2017 | WSC | Automatic and dynamic grounding method based on sensor data for agent-based simulation. | Shohei Yamane, Kotaro Ohori, Hiroaki Yamada, Hiroaki Yoshida, Hirokazu Anai |
| 2016 | CADE | Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. | Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai |
| 2016 | WSC | Agent-based simulation analysis for security planning based on structures of urban road networks. | Akinobu Goto, Shingo Takahashi, Kotaro Ohori, Shohei Yamane, Hiroaki Iwashita, Hirokazu Anai |
| 2015 | WSC | Agent-based analysis for design of signage systems in large-scale facilities. | Shintaro Utsumi, Shingo Takahashi, Kotaro Ohori, Hirokazu Anai |
| 2014 | AAAI | The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. | Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2014 | ISSAC | Effective quantifier elimination for industrial applications. | Hirokazu Anai |
| 2014 | ISSAC | Mathematics by machine. | Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
| 2013 | CASC | An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. | Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai |
| 2013 | IJCNLP | The Complexity of Math Problems - Linguistic, or Computational? | Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2011 | CASC | Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. | Hidenao Iwane, Akifumi Kira, Hirokazu Anai |
| 2009 | ISSAC | Solution of algebraic riccati equations using the sum of roots. | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2008 | ISSAC | Symbolic optimization of algebraic functions. | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2007 | CASC | An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. | Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto |
| 2007 | ISSAC | Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2006 | ICCS | Development of SyNARC. | Hitoshi Yanami, Hirokazu Anai |
| 2005 | ICCS | Development of SyNRAC. | Hitoshi Yanami, Hirokazu Anai |
| 2005 | ISSAC | Sum of roots with positive real parts. | Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama |
| 2004 | ICCS | Development of SyNRAC-Formula Description and New Functions. | Hitoshi Yanami, Hirokazu Anai |
| 2003 | ICCS | SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. | Hirokazu Anai, Hitoshi Yanami |
| 2000 | ISSAC | Deciding linear-trigonometric problems. | Hirokazu Anai, Volker Weispfenning |