Hidenao Iwane

Available identifiers

zbMath Open iwane.hidenaoMaRDI QIDQ359901

List of research outcomes

Publication	Date of Publication	Type
Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems	2021-01-20	Paper
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance	2020-09-09	Paper
On multivariate Hermitian quadratic forms	2019-08-19	Paper
An indirect search algorithm for disaster restoration with precedence and synchronization constraints	2018-03-08	Paper
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems	2017-06-22	Paper
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination	2017-02-03	Paper
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems	2016-09-29	Paper
Real quantifier elimination by computation of comprehensive Gröbner systems	2016-09-29	Paper
On the implementation of CGS real QE	2016-09-28	Paper
Race against the teens -- benchmarking mechanized math on pre-university problems	2016-09-05	Paper
Improving a CGS-QE Algorithm	2016-05-25	Paper
Efficient subformula orders for real quantifier elimination of non-prenex formulas	2016-05-25	Paper
Mathematics by machine	2015-11-11	Paper
SyNRAC: a toolbox for solving real algebraic constraints	2014-09-08	Paper
An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification	2014-07-07	Paper
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination	2013-11-29	Paper
A symbolic-numeric approach to multi-objective optimization in manufacturing design	2013-08-23	Paper
Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition	2011-09-02	Paper
A symbolic-numeric approach to some classes of parametric optimization problems for manufacturing design	2010-03-10	Paper

Research outcomes over time

This page was built for person: Hidenao Iwane