Hirokazu Anai

Available identifiers

zbMath Open anai.hirokazuMaRDI QIDQ359817

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5088991	2022-07-18	Paper
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5132749	2020-11-12	Paper
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance	2020-09-09	Paper
DTM-Based Filtrations	2020-09-08	Paper
An indirect search algorithm for disaster restoration with precedence and synchronization constraints	2018-03-08	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
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems	2016-09-05	Paper
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas	2016-05-25	Paper
Applied Algebraic Geometry in Model Based Design for Manufacturing	2015-12-03	Paper
Deciding linear-trigonometric problems	2015-11-26	Paper
Mathematics by machine	2015-11-11	Paper
Sum of roots with positive real parts	2015-07-16	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
An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems	2013-08-23	Paper
A symbolic-numeric approach to multi-objective optimization in manufacturing design	2013-08-23	Paper
Plant/controller design integration for \(\mathcal H_2\) control based on symbolic-numeric hybrid optimization	2013-08-22	Paper
Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition	2012-12-03	Paper
Solution of algebraic riccati equations using the sum of roots	2012-05-13	Paper
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition	2011-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5747912	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q5188232	2010-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5188279	2010-03-10	Paper
Computer algebra for guaranteed accuracy. How does it help?	2010-02-25	Paper
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem	2009-06-18	Paper
Symbolic optimization of algebraic functions	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5301672	2009-01-20	Paper
Development of SyNRAC	2008-12-09	Paper
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination	2008-09-10	Paper
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks	2008-07-01	Paper
Inference of probabilities over a stochastic IL-system by quantifier elimination	2008-05-27	Paper
Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach	2007-11-29	Paper
A parameter space approach to fixed-order robust controller synthesis by quantifier elimination	2007-10-31	Paper
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization	2007-09-03	Paper
Computational Science - ICCS 2004	2005-12-23	Paper
Computational Science – ICCS 2005	2005-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4434828	2003-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4552457	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4329974	2002-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4329975	2002-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4499559	2001-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4948172	2000-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4705543	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705546	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705600	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4703420	1999-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4714013	1997-08-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hirokazu Anai