Hidenao Iwane

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 10

Top Topics

Quantifier Elimination

Reinforcement Learning

Constraint Satisfaction

Top Venues

Publications

Yoshihiro Okawa, Tomotake Sasaki, Hidenao Iwane
Automatic Exploration Process Adjustment for Safe Reinforcement Learning with Joint Chance Constraint Satisfaction. CoRR (2021)
Teiko Arai, Takuya Matsuzaki, Hidenao Iwane
Appraising Science Textbooks through Quantitative Text Analysis and Psychometric Results of Students' Reading Skills. CogSci (2020)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
On Multivariate Hermitian Quadratic Forms. Math. Comput. Sci. 13 (1-2) (2019)
Yoshihiro Okawa, Tomotake Sasaki, Hidenao Iwane
Control Approach Combining Reinforcement Learning and Model-Based Control. ASCC (2019)
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 31 (3) (2018)
Hidenao Iwane, Hirokazu Anai
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. ISSAC (2017)
Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
Semantic Parsing of Pre-university Math Problems. ACL (1) (2017)
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. IJCAR (2016)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. ACM Commun. Comput. Algebra 50 (3) (2016)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
On the Implementation of CGS Real QE. ICMS (2016)
Hitoshi Yanami, Tomotake Sasaki, Junji Kaneko, Shinji Hara, Yafei Wang, Satoshi Moriyama, Hidenao Iwane
State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office. ASCC (2015)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Improving a CGS-QE Algorithm. MACIS (2015)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. ISSAC (2015)
Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. MACIS (2015)
Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
Parametric Mechanism Design via Quantifier Elimination. AAMAS (2015)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
SyNRAC: A Toolbox for Solving Real Algebraic Constraints. ICMS (2014)
Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai
Mathematics by machine. ISSAC (2014)
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. AAAI (2014)
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
The Complexity of Math Problems - Linguistic, or Computational? IJCNLP (2013)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Theor. Comput. Sci. 479 (2013)
Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. CASC (2013)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. SNC (2011)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. Math. Comput. Sci. 5 (3) (2011)
Hidenao Iwane, Akifumi Kira, Hirokazu Anai
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. CASC (2011)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. SNC (2009)