# Hirokazu Anai

According to our database

Collaborative distances:

^{1}, Hirokazu Anai authored at least 60 papers between 1999 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2019

Proceedings of the 35th International Symposium on Computational Geometry, 2019

2018

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.

AI Commun., 2018

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Automatic and dynamic grounding method based on sensor data for agent-based simulation.

Proceedings of the 2017 Winter Simulation Conference, 2017

Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan.

Proceedings of the Social Informatics, 2017

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.

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

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

2016

Agent-based simulation analysis for security planning based on structures of urban road networks.

Proceedings of the Winter Simulation Conference, 2016

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

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Proceedings of the 2015 Winter Simulation Conference, 2015

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

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

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

2014

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

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

Proceedings of the Mathematical Software - ICMS 2014, 2014

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

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

2013

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.

Theor. Comput. Sci., 2013

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.

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

2012

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design.

Math. Comput. Sci., 2011

Math. Comput. Sci., 2011

Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition.

Math. Comput. Sci., 2011

Math. Comput. Sci., 2011

Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization.

Commun. Inf. Syst., 2011

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.

Proceedings of the SNC 2011, 2011

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

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

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

2010

Parallel computation of determinants of matrices with polynomial entries for robust control design.

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

A symbolic-numeric approach to nonlinear gain analysis of a class of dynamical systems.

Proceedings of the 2010 IEEE International Symposium on Computer-Aided Control System Design, 2010

Symbolic computation in analysis and synthesis for homogeneous multi-agent dynamical systems.

Proceedings of the 2010 IEEE International Symposium on Computer-Aided Control System Design, 2010

2009

Math. Comput. Sci., 2009

Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem.

J. Symb. Comput., 2009

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Plant/controller design integration for ℋ2 control by symbolic-numeric hybrid optimization based on sum of roots characterization.

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Math. Comput. Sci., 2008

ACM Commun. Comput. Algebra, 2008

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Future Gener. Comput. Syst., 2007

ACM Commun. Comput. Algebra, 2007

Derivation of rigorous conditions for high cell-type diversity by algebraic approach.

Biosyst., 2007

Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.

Appl. Algebra Eng. Commun. Comput., 2007

Appl. Algebra Eng. Commun. Comput., 2007

Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Sum of roots, polynomial spectral factorization, and control performance limitations.

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination.

J. Bioinform. Comput. Biol., 2006

On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization.

Proceedings of the Numerical Methods and Applications, 6th International Conference, 2006

Proceedings of the Computational Science, 2006

2005

Proceedings of the Symbolic and Algebraic Computation, 2005

Proceedings of the Computational Science, 2005

Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

Proceedings of the Computational Science, 2004

2003

Proceedings of the Computational Science - ICCS 2003, 2003

2001

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000

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

Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination.

Proceedings of the American Control Conference, 2000

1999

Proceedings of the 5th European Control Conference, 1999