Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. - Hidenao Iwane; Akifumi Kira; Hirokazu Anai (CASC, 2011)

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai (SNC, 2011)

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai (Math. Comput. Sci., 2011)

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. - Hidenao Iwane; Hiroyuki Higuchi; Hirokazu Anai (CASC, 2013)

The Complexity of Math Problems - Linguistic, or Computational? - Takuya Matsuzaki; Hidenao Iwane; Hirokazu Anai; Noriko H. Arai (IJCNLP, 2013)

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai; Kazuhiro Yokoyama (Theor. Comput. Sci., 2013)

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. - Takuya Matsuzaki; Hidenao Iwane; Hirokazu Anai; Noriko H. Arai (AAAI, 2014)

SyNRAC: A Toolbox for Solving Real Algebraic Constraints. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai (ICMS, 2014)

Mathematics by machine. - Noriko H. Arai; Takuya Matsuzaki; Hidenao Iwane; Hirokazu Anai (ISSAC, 2014)

State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office. - Hitoshi Yanami; Tomotake Sasaki; Junji Kaneko; Shinji Hara; Yafei Wang 002; Satoshi Moriyama; Hidenao Iwane (ASCC, 2015)

Parametric Mechanism Design via Quantifier Elimination. - Atsushi Iwasaki; Etsushi Fujita; Taiki Todo; Hidenao Iwane; Hirokazu Anai; Mingyu Guo; Makoto Yokoo (AAMAS, 2015)

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (ISSAC, 2015)

Improving a CGS-QE Algorithm. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (MACIS, 2015)

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. - Munehiro Kobayashi; Hidenao Iwane; Takuya Matsuzaki; Hirokazu Anai (MACIS, 2015)

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 (IJCAR, 2016)

On the Implementation of CGS Real QE. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (ICMS, 2016)

CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (ACM Commun. Comput. Algebra, 2016)

Semantic Parsing of Pre-university Math Problems. - Takuya Matsuzaki; Takumi Ito; Hidenao Iwane; Hirokazu Anai; Noriko H. Arai (ACL (1), 2017)

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. - Hidenao Iwane; Hirokazu Anai (ISSAC, 2017)

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (AI Commun., 2018)

Control Approach Combining Reinforcement Learning and Model-Based Control. - Yoshihiro Okawa; Tomotake Sasaki; Hidenao Iwane (ASCC, 2019)

On Multivariate Hermitian Quadratic Forms. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (Math. Comput. Sci., 2019)

Appraising Science Textbooks through Quantitative Text Analysis and Psychometric Results of Students' Reading Skills. - Teiko Arai; Takuya Matsuzaki; Hidenao Iwane (CogSci, 2020)

Automatic Exploration Process Adjustment for Safe Reinforcement Learning with Joint Chance Constraint Satisfaction. - Yoshihiro Okawa; Tomotake Sasaki; Hidenao Iwane (CoRR, 2021)