Hidenao Iwane

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems AI Communications	2021-01-20	Paper
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation	2020-09-09	Paper
On multivariate Hermitian quadratic forms Mathematics in Computer Science	2019-08-19	Paper
An indirect search algorithm for disaster restoration with precedence and synchronization constraints Pacific Journal of Mathematics for Industry	2018-03-08	Paper
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems ACM Communications in Computer Algebra	2017-06-22	Paper
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination Proceedings of the 2009 conference on Symbolic numeric computation	2017-02-03	Paper
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation	2016-09-29	Paper
Real quantifier elimination by computation of comprehensive Gröbner systems Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation	2016-09-29	Paper
On the implementation of CGS real QE Mathematical Software – ICMS 2016	2016-09-28	Paper
Race against the teens -- benchmarking mechanized math on pre-university problems Automated Reasoning	2016-09-05	Paper
Improving a CGS-QE Algorithm Mathematical Aspects of Computer and Information Sciences	2016-05-25	Paper
Efficient subformula orders for real quantifier elimination of non-prenex formulas Mathematical Aspects of Computer and Information Sciences	2016-05-25	Paper
Mathematics by machine Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation	2015-11-11	Paper
SyNRAC: a toolbox for solving real algebraic constraints Mathematical Software – ICMS 2014	2014-09-08	Paper
An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification Computer Algebra in Scientific Computing	2014-07-07	Paper
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination Theoretical Computer Science	2013-11-29	Paper
A symbolic-numeric approach to multi-objective optimization in manufacturing design Mathematics in Computer Science	2013-08-23	Paper
Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition Computer Algebra in Scientific Computing	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