Hirokazu Anai

According to our database, Hirokazu Anai authored at least 60 papers between 1999 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

DTM-Based Filtrations.

Hirokazu Anai, Frédéric Chazal, Marc Glisse, Yuichi Ike, Hiroya Inakoshi, Raphaël Tinarrage, Yuhei Umeda

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.

Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai

AI Commun., 2018

Learning Multi-Way Relations via Tensor Decomposition With Neural Networks.

Koji Maruhashi, Masaru Todoriki, Takuya Ohwa, Keisuke Goto, Yu Hasegawa, Hiroya Inakoshi, Hirokazu Anai

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.

Shohei Yamane, Kotaro Ohori, Hiroaki Yamada, Hiroaki Yoshida, Hirokazu Anai

Proceedings of the 2017 Winter Simulation Conference, 2017

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

Hiroaki Yamada, Kotaro Ohori, Tadashige Iwao, Akifumi Kira, Naoyuki Kamiyama, Hiroaki Yoshida, Hirokazu Anai

Proceedings of the Social Informatics, 2017

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.

Hidenao Iwane, Hirokazu Anai

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

Semantic Parsing of Pre-university Math Problems.

Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

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.

Akinobu Goto, Shingo Takahashi, Kotaro Ohori, Shohei Yamane, Hiroaki Iwashita, Hirokazu Anai

Proceedings of the Winter Simulation Conference, 2016

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.

Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai

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

Simplifying Urban Network Security Games with Cut-Based Graph Contraction.

Hiroaki Iwashita, Kotaro Ohori, Hirokazu Anai, Atsushi Iwasaki

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

2015

Agent-based analysis for design of signage systems in large-scale facilities.

Shintaro Utsumi, Shingo Takahashi, Kotaro Ohori, Hirokazu Anai

Proceedings of the 2015 Winter Simulation Conference, 2015

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

Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai

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

Parametric Mechanism Design via Quantifier Elimination.

Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo

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

2014

Mathematics by machine.

Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

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

Effective quantifier elimination for industrial applications.

Hirokazu Anai

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

SyNRAC: A Toolbox for Solving Real Algebraic Constraints.

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

Proceedings of the Mathematical Software - ICMS 2014, 2014

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

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

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

2013

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

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama

Theor. Comput. Sci., 2013

The Complexity of Math Problems - Linguistic, or Computational?

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

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.

Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai

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

2012

Computational Real Algebraic Geometry in Practice (Invited Talk).

Hirokazu Anai

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.

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

Math. Comput. Sci., 2011

An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems.

Hiroyuki Ichihara, Hirokazu Anai

Math. Comput. Sci., 2011

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

Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama

Math. Comput. Sci., 2011

Foreword.

Hirokazu Anai

Math. Comput. Sci., 2011

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

Hirokazu Anai, Shinji Hara, Masaaki Kanno

Commun. Inf. Syst., 2011

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

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

Proceedings of the SNC 2011, 2011

An SOS-QE approach to nonlinear gain analysis.

Hiroyuki Ichihara, Hirokazu Anai

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.

Hidenao Iwane, Akifumi Kira, Hirokazu Anai

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.

Kinji Kumura, Hirokazu Anai

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.

Hiroyuki Ichihara, Hirokazu Anai

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.

Shinji Hara, Hirokazu Anai

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

2009

Foreword.

Hirokazu Anai, Katsuhisa Horimoto

Math. Comput. Sci., 2009

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

Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama

J. Symb. Comput., 2009

Solution of algebraic riccati equations using the sum of roots.

Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara

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.

Masaaki Kanno, Shinji Hara, Hirokazu Anai

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.

Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai

Math. Comput. Sci., 2008

Solution of the algebraic riccati equation using the sum of roots.

Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai

ACM Commun. Comput. Algebra, 2008

Symbolic optimization of algebraic functions.

Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara

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

2007

The Maple package SyNRAC and its application to robust control design.

Hitoshi Yanami, Hirokazu Anai

Future Gener. Comput. Syst., 2007

SyNRAC: a maple toolbox for solving real algebraic constraints.

Hitoshi Yanami, Hirokazu Anai

ACM Commun. Comput. Algebra, 2007

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

Hiroshi Yoshida, Hirokazu Anai, Katsuhisa Horimoto

Biosyst., 2007

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

Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai

Appl. Algebra Eng. Commun. Comput., 2007

Editorial.

Hirokazu Anai, Thomas Sturm

Appl. Algebra Eng. Commun. Comput., 2007

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

Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara

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

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

Masaaki Kanno, Shinji Hara, Hirokazu Anai, Kazuhiro Yokoyama

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

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.

Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto

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.

Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

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

Hirokazu Anai, Shigeo Orii, Katsuhisa Horimoto

J. Bioinform. Comput. Biol., 2006

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

Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama

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

Development of SyNARC.

Hitoshi Yanami, Hirokazu Anai

Proceedings of the Computational Science, 2006

2005

Sum of roots with positive real parts.

Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama

Proceedings of the Symbolic and Algebraic Computation, 2005

Development of SyNRAC.

Hitoshi Yanami, Hirokazu Anai

Proceedings of the Computational Science, 2005

Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.

Hirokazu Anai, Kazuhiro Yokoyama

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

2004

Development of SyNRAC-Formula Description and New Functions.

Hitoshi Yanami, Hirokazu Anai

Proceedings of the Computational Science, 2004

2003

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.

Hirokazu Anai, Hitoshi Yanami

Proceedings of the Computational Science - ICCS 2003, 2003

2001

Reach Set Computations Using Real Quantifier Elimination.

Hirokazu Anai, Volker Weispfenning

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

2000

Deciding linear-trigonometric problems.

Hirokazu Anai, Volker Weispfenning

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.

Hirokazu Anai, Shinji Hara

Proceedings of the American Control Conference, 2000

1999

Algebraic approach to analysis of discrete-time polynomial systems.

Hirokazu Anai, Junji Kaneko

Proceedings of the 5th European Control Conference, 1999