default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHirokazu Anai
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c45]Hirokazu Anai, Frédéric Chazal, Marc Glisse, Yuichi Ike
, Hiroya Inakoshi, Raphaël Tinarrage, Yuhei Umeda:
DTM-Based Filtrations. SoCG 2019: 58:1-58:15- 2018
- [j17]Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai:
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 31(3): 251-266 (2018) - [c44]Koji Maruhashi, Masaru Todoriki, Takuya Ohwa, Keisuke Goto, Yu Hasegawa, Hiroya Inakoshi, Hirokazu Anai:
Learning Multi-Way Relations via Tensor Decomposition With Neural Networks. AAAI 2018: 3770-3777 - [i1]Hirokazu Anai, Frédéric Chazal, Marc Glisse, Yuichi Ike, Hiroya Inakoshi, Raphaël Tinarrage, Yuhei Umeda:
DTM-based filtrations. CoRR abs/1811.04757 (2018) - 2017
- [c43]Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai:
Semantic Parsing of Pre-university Math Problems. ACL (1) 2017: 2131-2141 - [c42]Hidenao Iwane, Hirokazu Anai:
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. ISSAC 2017: 213-220 - [c41]Hiroaki Yamada, Kotaro Ohori, Tadashige Iwao, Akifumi Kira, Naoyuki Kamiyama, Hiroaki Yoshida, Hirokazu Anai:
Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan. SocInfo (2) 2017: 419-430 - [c40]Shohei Yamane, Kotaro Ohori, Hiroaki Yamada, Hiroaki Yoshida, Hirokazu Anai:
Automatic and dynamic grounding method based on sensor data for agent-based simulation. WSC 2017: 4584-4585 - 2016
- [c39]Hiroaki Iwashita, Kotaro Ohori, Hirokazu Anai, Atsushi Iwasaki:
Simplifying Urban Network Security Games with Cut-Based Graph Contraction. AAMAS 2016: 205-213 - [c38]Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai:
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. IJCAR 2016: 213-227 - [c37]Akinobu Goto, Shingo Takahashi, Kotaro Ohori, Shohei Yamane, Hiroaki Iwashita, Hirokazu Anai:
Agent-based simulation analysis for security planning based on structures of urban road networks. WSC 2016: 3720-3721 - 2015
- [c36]Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo:
Parametric Mechanism Design via Quantifier Elimination. AAMAS 2015: 1885-1886 - [c35]Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai:
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. MACIS 2015: 236-251 - [c34]Shintaro Utsumi, Shingo Takahashi, Kotaro Ohori, Hirokazu Anai:
Agent-based analysis for design of signage systems in large-scale facilities. WSC 2015: 3134-3135 - 2014
- [c33]Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai:
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. AAAI 2014: 1098-1104 - [c32]Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
SyNRAC: A Toolbox for Solving Real Algebraic Constraints. ICMS 2014: 518-522 - [c31]Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai:
Mathematics by machine. ISSAC 2014: 1-8 - [c30]Hirokazu Anai:
Effective quantifier elimination for industrial applications. ISSAC 2014: 18-19 - 2013
- [j16]Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama:
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Theor. Comput. Sci. 479: 43-69 (2013) - [c29]Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai:
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. CASC 2013: 194-208 - [c28]Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai:
The Complexity of Math Problems - Linguistic, or Computational? IJCNLP 2013: 73-81 - 2012
- [c27]Hirokazu Anai:
Computational Real Algebraic Geometry in Practice (Invited Talk). RTA 2012: 1 - 2011
- [j15]Hirokazu Anai, Shinji Hara, Masaaki Kanno:
Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization. Commun. Inf. Syst. 11(3): 281-306 (2011) - [j14]Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama:
Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition. Math. Comput. Sci. 5(2): 209-221 (2011) - [j13]Hirokazu Anai:
Foreword. Math. Comput. Sci. 5(3): 245-246 (2011) - [j12]Hiroyuki Ichihara, Hirokazu Anai:
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems. Math. Comput. Sci. 5(3): 303-314 (2011) - [j11]Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. Math. Comput. Sci. 5(3): 315-334 (2011) - [c26]Hidenao Iwane, Akifumi Kira, Hirokazu Anai:
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. CASC 2011: 239-250 - [c25]Hiroyuki Ichihara, Hirokazu Anai:
An SOS-QE approach to nonlinear gain analysis. CDC/ECC 2011: 7152-7157 - [c24]Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. SNC 2011: 168-177 - 2010
- [c23]Shinji Hara, Hirokazu Anai:
Symbolic computation in analysis and synthesis for homogeneous multi-agent dynamical systems. CACSD 2010: 1702-1707 - [c22]Hiroyuki Ichihara, Hirokazu Anai:
A symbolic-numeric approach to nonlinear gain analysis of a class of dynamical systems. CACSD 2010: 1708-1713 - [c21]Kinji Kumura, Hirokazu Anai:
Parallel computation of determinants of matrices with polynomial entries for robust control design. PASCO 2010: 173-174
2000 – 2009
- 2009
- [j10]Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama:
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. J. Symb. Comput. 44(7): 703-725 (2009) - [j9]Hirokazu Anai, Katsuhisa Horimoto:
Foreword. Math. Comput. Sci. 2(3): 399-400 (2009) - [c20]Masaaki Kanno, Shinji Hara, Hirokazu Anai:
Plant/controller design integration for ℋ2 control by symbolic-numeric hybrid optimization based on sum of roots characterization. CCA/ISIC 2009: 1619-1624 - [c19]Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara:
Solution of algebraic riccati equations using the sum of roots. ISSAC 2009: 215-222 - [c18]Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama:
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. SNC 2009: 55-64 - 2008
- [j8]Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai:
Solution of the algebraic riccati equation using the sum of roots. ACM Commun. Comput. Algebra 42(3): 144-145 (2008) - [j7]Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai:
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. Math. Comput. Sci. 1(3): 473-485 (2008) - [c17]Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara:
Symbolic optimization of algebraic functions. ISSAC 2008: 147-154 - 2007
- [j6]Hirokazu Anai, Thomas Sturm:
Editorial. Appl. Algebra Eng. Commun. Comput. 18(6): 495-496 (2007) - [j5]Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai:
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Appl. Algebra Eng. Commun. Comput. 18(6): 497-512 (2007) - [j4]Hiroshi Yoshida, Hirokazu Anai, Katsuhisa Horimoto:
Derivation of rigorous conditions for high cell-type diversity by algebraic approach. Biosyst. 90(2): 486-495 (2007) - [j3]Hitoshi Yanami, Hirokazu Anai:
SyNRAC: a maple toolbox for solving real algebraic constraints. ACM Commun. Comput. Algebra 41(3): 112-113 (2007) - [j2]Hitoshi Yanami, Hirokazu Anai:
The Maple package SyNRAC and its application to robust control design. Future Gener. Comput. Syst. 23(5): 721-726 (2007) - [c16]Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto:
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. AB 2007: 110-124 - [c15]Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto:
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. CASC 2007: 433-447 - [c14]Masaaki Kanno, Shinji Hara, Hirokazu Anai, Kazuhiro Yokoyama:
Sum of roots, polynomial spectral factorization, and control performance limitations. CDC 2007: 2968-2973 - [c13]Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara:
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. ISSAC 2007: 211-218 - [e1]Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4545, Springer 2007, ISBN 978-3-540-73432-1 [contents] - 2006
- [j1]Hirokazu Anai, Shigeo Orii, Katsuhisa Horimoto:
Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination. J. Bioinform. Comput. Biol. 4(5): 1097-1118 (2006) - [c12]Hitoshi Yanami, Hirokazu Anai:
Development of SyNARC. International Conference on Computational Science (2) 2006: 462-469 - [c11]Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama:
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization. Numerical Methods and Applications 2006: 320-328 - 2005
- [c10]Hirokazu Anai, Kazuhiro Yokoyama:
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction. Algorithmic Algebra and Logic 2005: 25-30 - [c9]Hitoshi Yanami, Hirokazu Anai:
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints. Algorithmic Algebra and Logic 2005: 275-279 - [c8]Hitoshi Yanami, Hirokazu Anai:
Development of SyNRAC. International Conference on Computational Science (3) 2005: 602-610 - [c7]Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama:
Sum of roots with positive real parts. ISSAC 2005: 21-28 - 2004
- [c6]Hitoshi Yanami, Hirokazu Anai:
Development of SyNRAC-Formula Description and New Functions. International Conference on Computational Science 2004: 286-294 - 2003
- [c5]Hirokazu Anai, Hitoshi Yanami:
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. International Conference on Computational Science 2003: 828-837 - 2001
- [c4]Hirokazu Anai, Volker Weispfenning:
Reach Set Computations Using Real Quantifier Elimination. HSCC 2001: 63-76 - 2000
- [c3]Hirokazu Anai, Shinji Hara:
Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. ACC 2000: 1312-1316 - [c2]Hirokazu Anai, Volker Weispfenning:
Deciding linear-trigonometric problems. ISSAC 2000: 14-22
1990 – 1999
- 1999
- [c1]Hirokazu Anai, Junji Kaneko:
Algebraic approach to analysis of discrete-time polynomial systems. ECC 1999: 2012-2017
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
