Hidenao Iwane

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