Hidenao Iwane

According to our database, Hidenao Iwane authored at least 24 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automatic Exploration Process Adjustment for Safe Reinforcement Learning with Joint Chance Constraint Satisfaction.

Yoshihiro Okawa, Tomotake Sasaki, Hidenao Iwane

CoRR, 2021

2020

Appraising Science Textbooks through Quantitative Text Analysis and Psychometric Results of Students' Reading Skills.

Teiko Arai, Takuya Matsuzaki, Hidenao Iwane

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2019

On Multivariate Hermitian Quadratic Forms.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Math. Comput. Sci., 2019

Control Approach Combining Reinforcement Learning and Model-Based Control.

Yoshihiro Okawa, Tomotake Sasaki, Hidenao Iwane

Proceedings of the 12th Asian Control Conference, 2019

2018

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

2017

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.

Hidenao Iwane, Hirokazu Anai

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Semantic Parsing of Pre-university Math Problems.

Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017

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

On the Implementation of CGS Real QE.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the Mathematical Software - ICMS 2016, 2016

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

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas.

Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Improving a CGS-QE Algorithm.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

Parametric Mechanism Design via Quantifier Elimination.

Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

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, Satoshi Moriyama, Hidenao Iwane

Proceedings of the 10th Asian Control Conference, 2015

2014

Mathematics by machine.

Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

SyNRAC: A Toolbox for Solving Real Algebraic Constraints.

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

Proceedings of the Mathematical Software - ICMS 2014, 2014

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving.

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

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 Complexity of Math Problems - Linguistic, or Computational?

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification.

Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

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 symbolic-numeric cylindrical algebraic decomposition for optimization problems.

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

Proceedings of the SNC 2011, 2011

Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition.

Hidenao Iwane, Akifumi Kira, Hirokazu Anai

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011