Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hirokazu Anai
@inproceedings{DBLP:conf/compgeom/AnaiCGIITU19,
author = {Hirokazu Anai and
Fr{\'{e}}d{\'{e}}ric Chazal and
Marc Glisse and
Yuichi Ike and
Hiroya Inakoshi and
Rapha{\"{e}}l Tinarrage and
Yuhei Umeda},
editor = {Gill Barequet and
Yusu Wang},
title = {DTM-Based Filtrations},
booktitle = {35th International Symposium on Computational Geometry, SoCG 2019,
June 18-21, 2019, Portland, Oregon, {USA}},
series = {LIPIcs},
volume = {129},
pages = {58:1--58:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SoCG.2019.58},
doi = {10.4230/LIPICS.SOCG.2019.58},
timestamp = {Mon, 02 Jan 2023 09:02:13 +0100},
biburl = {https://dblp.org/rec/conf/compgeom/AnaiCGIITU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/MatsuzakiIKZFKA18,
author = {Takuya Matsuzaki and
Hidenao Iwane and
Munehiro Kobayashi and
Yiyang Zhan and
Ryoya Fukasaku and
Jumma Kudo and
Hirokazu Anai and
Noriko H. Arai},
title = {Can an {A.I.} win a medal in the mathematical olympiad? - Benchmarking
mechanized mathematics on pre-university problems},
journal = {{AI} Commun.},
volume = {31},
number = {3},
pages = {251--266},
year = {2018},
url = {https://doi.org/10.3233/AIC-180762},
doi = {10.3233/AIC-180762},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/MatsuzakiIKZFKA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MaruhashiTOGHIA18,
author = {Koji Maruhashi and
Masaru Todoriki and
Takuya Ohwa and
Keisuke Goto and
Yu Hasegawa and
Hiroya Inakoshi and
Hirokazu Anai},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Learning Multi-Way Relations via Tensor Decomposition With Neural
Networks},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {3770--3777},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11760},
doi = {10.1609/AAAI.V32I1.11760},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MaruhashiTOGHIA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04757,
author = {Hirokazu Anai and
Fr{\'{e}}d{\'{e}}ric Chazal and
Marc Glisse and
Yuichi Ike and
Hiroya Inakoshi and
Rapha{\"{e}}l Tinarrage and
Yuhei Umeda},
title = {DTM-based filtrations},
journal = {CoRR},
volume = {abs/1811.04757},
year = {2018},
url = {http://arxiv.org/abs/1811.04757},
eprinttype = {arXiv},
eprint = {1811.04757},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-04757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/MatsuzakiIIAA17,
author = {Takuya Matsuzaki and
Takumi Ito and
Hidenao Iwane and
Hirokazu Anai and
Noriko H. Arai},
editor = {Regina Barzilay and
Min{-}Yen Kan},
title = {Semantic Parsing of Pre-university Math Problems},
booktitle = {Proceedings of the 55th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2017, Vancouver, Canada, July 30 - August 4, Volume
1: Long Papers},
pages = {2131--2141},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/P17-1195},
doi = {10.18653/V1/P17-1195},
timestamp = {Fri, 06 Aug 2021 00:40:58 +0200},
biburl = {https://dblp.org/rec/conf/acl/MatsuzakiIIAA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/IwaneA17,
author = {Hidenao Iwane and
Hirokazu Anai},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Formula Simplification for Real Quantifier Elimination Using Geometric
Invariance},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {213--220},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087627},
doi = {10.1145/3087604.3087627},
timestamp = {Tue, 06 Nov 2018 16:57:05 +0100},
biburl = {https://dblp.org/rec/conf/issac/IwaneA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socinfo/YamadaOIKKYA17,
author = {Hiroaki Yamada and
Kotaro Ohori and
Tadashige Iwao and
Akifumi Kira and
Naoyuki Kamiyama and
Hiroaki Yoshida and
Hirokazu Anai},
editor = {Giovanni Luca Ciampaglia and
Afra J. Mashhadi and
Taha Yasseri},
title = {Modeling and Managing Airport Passenger Flow Under Uncertainty: {A}
Case of Fukuoka Airport in Japan},
booktitle = {Social Informatics - 9th International Conference, SocInfo 2017, Oxford,
UK, September 13-15, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10540},
pages = {419--430},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67256-4\_33},
doi = {10.1007/978-3-319-67256-4\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/socinfo/YamadaOIKKYA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/YamaneOYYA17,
author = {Shohei Yamane and
Kotaro Ohori and
Hiroaki Yamada and
Hiroaki Yoshida and
Hirokazu Anai},
title = {Automatic and dynamic grounding method based on sensor data for agent-based
simulation},
booktitle = {2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA,
December 3-6, 2017},
pages = {4584--4585},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/WSC.2017.8248216},
doi = {10.1109/WSC.2017.8248216},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/YamaneOYYA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/IwashitaOAI16,
author = {Hiroaki Iwashita and
Kotaro Ohori and
Hirokazu Anai and
Atsushi Iwasaki},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Simplifying Urban Network Security Games with Cut-Based Graph Contraction},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {205--213},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2936957},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/IwashitaOAI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MatsuzakiIKZFKA16,
author = {Takuya Matsuzaki and
Hidenao Iwane and
Munehiro Kobayashi and
Yiyang Zhan and
Ryoya Fukasaku and
Jumma Kudo and
Hirokazu Anai and
Noriko H. Arai},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Race Against the Teens - Benchmarking Mechanized Math on Pre-university
Problems},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {213--227},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_15},
doi = {10.1007/978-3-319-40229-1\_15},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/MatsuzakiIKZFKA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/GotoTOYIA16,
author = {Akinobu Goto and
Shingo Takahashi and
Kotaro Ohori and
Shohei Yamane and
Hiroaki Iwashita and
Hirokazu Anai},
title = {Agent-based simulation analysis for security planning based on structures
of urban road networks},
booktitle = {Winter Simulation Conference, {WSC} 2016, Washington, DC, USA, December
11-14, 2016},
pages = {3720--3721},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WSC.2016.7822417},
doi = {10.1109/WSC.2016.7822417},
timestamp = {Thu, 10 Jun 2021 22:21:51 +0200},
biburl = {https://dblp.org/rec/conf/wsc/GotoTOYIA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/IwasakiFTIAGY15,
author = {Atsushi Iwasaki and
Etsushi Fujita and
Taiki Todo and
Hidenao Iwane and
Hirokazu Anai and
Mingyu Guo and
Makoto Yokoo},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Parametric Mechanism Design via Quantifier Elimination},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1885--1886},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773486},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/IwasakiFTIAGY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KobayashiIMA15,
author = {Munehiro Kobayashi and
Hidenao Iwane and
Takuya Matsuzaki and
Hirokazu Anai},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex
Formulas},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {236--251},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_21},
doi = {10.1007/978-3-319-32859-1\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/macis/KobayashiIMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/UtsumiTOA15,
author = {Shintaro Utsumi and
Shingo Takahashi and
Kotaro Ohori and
Hirokazu Anai},
title = {Agent-based analysis for design of signage systems in large-scale
facilities},
booktitle = {Proceedings of the 2015 Winter Simulation Conference, Huntington Beach,
CA, USA, December 6-9, 2015},
pages = {3134--3135},
publisher = {{IEEE/ACM}},
year = {2015},
url = {https://doi.org/10.1109/WSC.2015.7408436},
doi = {10.1109/WSC.2015.7408436},
timestamp = {Thu, 10 Jun 2021 22:19:03 +0200},
biburl = {https://dblp.org/rec/conf/wsc/UtsumiTOA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MatsuzakiIAA14,
author = {Takuya Matsuzaki and
Hidenao Iwane and
Hirokazu Anai and
Noriko H. Arai},
editor = {Carla E. Brodley and
Peter Stone},
title = {The Most Uncreative Examinee: {A} First Step toward Wide Coverage
Natural Language Math Problem Solving},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1098--1104},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8869},
doi = {10.1609/AAAI.V28I1.8869},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MatsuzakiIAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/IwaneYA14,
author = {Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai},
editor = {Hoon Hong and
Chee Yap},
title = {SyNRAC: {A} Toolbox for Solving Real Algebraic Constraints},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {518--522},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_78},
doi = {10.1007/978-3-662-44199-2\_78},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/icms/IwaneYA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AraiMIA14,
author = {Noriko H. Arai and
Takuya Matsuzaki and
Hidenao Iwane and
Hirokazu Anai},
editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
title = {Mathematics by machine},
booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
pages = {1--8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2608628.2627488},
doi = {10.1145/2608628.2627488},
timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
biburl = {https://dblp.org/rec/conf/issac/AraiMIA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Anai14,
author = {Hirokazu Anai},
editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
title = {Effective quantifier elimination for industrial applications},
booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
pages = {18--19},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2608628.2627494},
doi = {10.1145/2608628.2627494},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Anai14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IwaneYAY13,
author = {Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai and
Kazuhiro Yokoyama},
title = {An effective implementation of symbolic-numeric cylindrical algebraic
decomposition for quantifier elimination},
journal = {Theor. Comput. Sci.},
volume = {479},
pages = {43--69},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.020},
doi = {10.1016/J.TCS.2012.10.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IwaneYAY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/IwaneHA13,
author = {Hidenao Iwane and
Hiroyuki Higuchi and
Hirokazu Anai},
editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
title = {An Effective Implementation of a Special Quantifier Elimination for
a Sign Definite Condition by Logical Formula Simplification},
booktitle = {Computer Algebra in Scientific Computing - 15th International Workshop,
{CASC} 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8136},
pages = {194--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02297-0\_17},
doi = {10.1007/978-3-319-02297-0\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/casc/IwaneHA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnlp/MatsuzakiIAA13,
author = {Takuya Matsuzaki and
Hidenao Iwane and
Hirokazu Anai and
Noriko H. Arai},
title = {The Complexity of Math Problems - Linguistic, or Computational?},
booktitle = {Sixth International Joint Conference on Natural Language Processing,
{IJCNLP} 2013, Nagoya, Japan, October 14-18, 2013},
pages = {73--81},
publisher = {Asian Federation of Natural Language Processing / {ACL}},
year = {2013},
url = {https://aclanthology.org/I13-1009/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnlp/MatsuzakiIAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Anai12,
author = {Hirokazu Anai},
editor = {Ashish Tiwari},
title = {Computational Real Algebraic Geometry in Practice (Invited Talk)},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.1},
doi = {10.4230/LIPICS.RTA.2012.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Anai12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cominfsys/AnaiHK11,
author = {Hirokazu Anai and
Shinji Hara and
Masaaki Kanno},
title = {Plant/controller design integration for {H2} control based on symbolic-numeric
hybrid optimization},
journal = {Commun. Inf. Syst.},
volume = {11},
number = {3},
pages = {281--306},
year = {2011},
url = {https://doi.org/10.4310/cis.2011.v11.n3.a5},
doi = {10.4310/CIS.2011.V11.N3.A5},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cominfsys/AnaiHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/GandyKAY11,
author = {Silvia Gandy and
Masaaki Kanno and
Hirokazu Anai and
Kazuhiro Yokoyama},
title = {Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical
Algebraic Decomposition},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {209--221},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0090-5},
doi = {10.1007/S11786-011-0090-5},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/GandyKAY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Anai11,
author = {Hirokazu Anai},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {245--246},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0104-3},
doi = {10.1007/S11786-011-0104-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Anai11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IchiharaA11,
author = {Hiroyuki Ichihara and
Hirokazu Anai},
title = {An {SOS-QE} Approach to Nonlinear Gain Analysis for Polynomial Dynamical
Systems},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {303--314},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0095-0},
doi = {10.1007/S11786-011-0095-0},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/IchiharaA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IwaneYA11,
author = {Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai},
title = {A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing
Design},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {315--334},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0097-y},
doi = {10.1007/S11786-011-0097-Y},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/IwaneYA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/IwaneKA11,
author = {Hidenao Iwane and
Akifumi Kira and
Hirokazu Anai},
editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
title = {Construction of Explicit Optimal Value Functions by a Symbolic-Numeric
Cylindrical Algebraic Decomposition},
booktitle = {Computer Algebra in Scientific Computing - 13th International Workshop,
{CASC} 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6885},
pages = {239--250},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23568-9\_19},
doi = {10.1007/978-3-642-23568-9\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/IwaneKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/IchiharaA11,
author = {Hiroyuki Ichihara and
Hirokazu Anai},
title = {An {SOS-QE} approach to nonlinear gain analysis},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {7152--7157},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161036},
doi = {10.1109/CDC.2011.6161036},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/IchiharaA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/IwaneYA11,
author = {Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai},
editor = {Marc Moreno Maza},
title = {An effective implementation of a symbolic-numeric cylindrical algebraic
decomposition for optimization problems},
booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
Computation, San Jose, California, USA, June 7-9, 2011},
pages = {168--177},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2331684.2331712},
doi = {10.1145/2331684.2331712},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/IwaneYA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cacsd/HaraA10,
author = {Shinji Hara and
Hirokazu Anai},
title = {Symbolic computation in analysis and synthesis for homogeneous multi-agent
dynamical systems},
booktitle = {2010 {IEEE} International Symposium on Computer-Aided Control System
Design, {CACSD} 2010, Yokohama, Japan, September 8-10, 2010},
pages = {1702--1707},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CACSD.2010.5612650},
doi = {10.1109/CACSD.2010.5612650},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cacsd/HaraA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cacsd/IchiharaA10,
author = {Hiroyuki Ichihara and
Hirokazu Anai},
title = {A symbolic-numeric approach to nonlinear gain analysis of a class
of dynamical systems},
booktitle = {2010 {IEEE} International Symposium on Computer-Aided Control System
Design, {CACSD} 2010, Yokohama, Japan, September 8-10, 2010},
pages = {1708--1713},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CACSD.2010.5612685},
doi = {10.1109/CACSD.2010.5612685},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cacsd/IchiharaA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/KumuraA10,
author = {Kinji Kumura and
Hirokazu Anai},
editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
title = {Parallel computation of determinants of matrices with polynomial entries
for robust control design},
booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
pages = {173--174},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837210.1837237},
doi = {10.1145/1837210.1837237},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/KumuraA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AnaiHKY09,
author = {Hirokazu Anai and
Shinji Hara and
Masaaki Kanno and
Kazuhiro Yokoyama},
title = {Parametric polynomial spectral factorization using the sum of roots
and its application to a control design problem},
journal = {J. Symb. Comput.},
volume = {44},
number = {7},
pages = {703--725},
year = {2009},
url = {https://doi.org/10.1016/j.jsc.2008.04.015},
doi = {10.1016/J.JSC.2008.04.015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/AnaiHKY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AnaiH09,
author = {Hirokazu Anai and
Katsuhisa Horimoto},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {399--400},
year = {2009},
url = {https://doi.org/10.1007/s11786-009-0070-1},
doi = {10.1007/S11786-009-0070-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AnaiH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/KannoHA09,
author = {Masaaki Kanno and
Shinji Hara and
Hirokazu Anai},
title = {Plant/controller design integration for {\(\mathscr{H}\)}2 control
by symbolic-numeric hybrid optimization based on sum of roots characterization},
booktitle = {Proceedings of the {IEEE} International Conference on Control Applications,
{CCA} 2009 and of the International Symposium on Intelligent Control,
{ISIC} 2009, Saint Petersburg, Russia, July 8-10, 2009},
pages = {1619--1624},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CCA.2009.5280928},
doi = {10.1109/CCA.2009.5280928},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/KannoHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KannoYAH09,
author = {Masaaki Kanno and
Kazuhiro Yokoyama and
Hirokazu Anai and
Shinji Hara},
editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
title = {Solution of algebraic riccati equations using the sum of roots},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
pages = {215--222},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1576702.1576733},
doi = {10.1145/1576702.1576733},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/issac/KannoYAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/IwaneYAY09,
author = {Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai and
Kazuhiro Yokoyama},
editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
title = {An effective implementation of a symbolic-numeric cylindrical algebraic
decomposition for quantifier elimination},
booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
pages = {55--64},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577190.1577203},
doi = {10.1145/1577190.1577203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/IwaneYAY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/KannoYA08,
author = {Masaaki Kanno and
Kazuhiro Yokoyama and
Hirokazu Anai},
title = {Solution of the algebraic riccati equation using the sum of roots},
journal = {{ACM} Commun. Comput. Algebra},
volume = {42},
number = {3},
pages = {144--145},
year = {2008},
url = {https://doi.org/10.1145/1504347.1504359},
doi = {10.1145/1504347.1504359},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/KannoYA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/YoshidaHA08,
author = {Hiroshi Yoshida and
Katsuhisa Horimoto and
Hirokazu Anai},
title = {Inference of Probabilities over a Stochastic IL-System by Quantifier
Elimination},
journal = {Math. Comput. Sci.},
volume = {1},
number = {3},
pages = {473--485},
year = {2008},
url = {https://doi.org/10.1007/s11786-007-0037-z},
doi = {10.1007/S11786-007-0037-Z},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/YoshidaHA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KannoYAH08,
author = {Masaaki Kanno and
Kazuhiro Yokoyama and
Hirokazu Anai and
Shinji Hara},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Symbolic optimization of algebraic functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {147--154},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390791},
doi = {10.1145/1390768.1390791},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KannoYAH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/AnaiS07,
author = {Hirokazu Anai and
Thomas Sturm},
title = {Editorial},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {18},
number = {6},
pages = {495--496},
year = {2007},
url = {https://doi.org/10.1007/s00200-007-0051-z},
doi = {10.1007/S00200-007-0051-Z},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/AnaiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/HyodoHYHA07,
author = {Noriko Hyodo and
Myunghoon Hong and
Hitoshi Yanami and
Shinji Hara and
Hirokazu Anai},
title = {Solving and visualizing nonlinear parametric constraints in control
based on quantifier elimination},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {18},
number = {6},
pages = {497--512},
year = {2007},
url = {https://doi.org/10.1007/s00200-007-0056-7},
doi = {10.1007/S00200-007-0056-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/HyodoHYHA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/YoshidaAH07,
author = {Hiroshi Yoshida and
Hirokazu Anai and
Katsuhisa Horimoto},
title = {Derivation of rigorous conditions for high cell-type diversity by
algebraic approach},
journal = {Biosyst.},
volume = {90},
number = {2},
pages = {486--495},
year = {2007},
url = {https://doi.org/10.1016/j.biosystems.2006.11.008},
doi = {10.1016/J.BIOSYSTEMS.2006.11.008},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/YoshidaAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/YanamiA07,
author = {Hitoshi Yanami and
Hirokazu Anai},
title = {SyNRAC: a maple toolbox for solving real algebraic constraints},
journal = {{ACM} Commun. Comput. Algebra},
volume = {41},
number = {3},
pages = {112--113},
year = {2007},
url = {https://doi.org/10.1145/1358190.1358205},
doi = {10.1145/1358190.1358205},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/YanamiA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/YanamiA07,
author = {Hitoshi Yanami and
Hirokazu Anai},
title = {The Maple package SyNRAC and its application to robust control design},
journal = {Future Gener. Comput. Syst.},
volume = {23},
number = {5},
pages = {721--726},
year = {2007},
url = {https://doi.org/10.1016/j.future.2006.10.009},
doi = {10.1016/J.FUTURE.2006.10.009},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/YanamiA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/YoshidaNAH07,
author = {Hiroshi Yoshida and
Koji Nakagawa and
Hirokazu Anai and
Katsuhisa Horimoto},
editor = {Hirokazu Anai and
Katsuhisa Horimoto and
Temur Kutsia},
title = {Exact Parameter Determination for Parkinson's Disease Diagnosis with
{PET} Using an Algebraic Approach},
booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
of Hagenberg, Austria, July 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4545},
pages = {110--124},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73433-8\_9},
doi = {10.1007/978-3-540-73433-8\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/YoshidaNAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/YoshidaNAH07,
author = {Hiroshi Yoshida and
Koji Nakagawa and
Hirokazu Anai and
Katsuhisa Horimoto},
editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
title = {An Algebraic-Numeric Algorithm for the Model Selection in Kinetic
Networks},
booktitle = {Computer Algebra in Scientific Computing, 10th International Workshop,
{CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4770},
pages = {433--447},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75187-8\_35},
doi = {10.1007/978-3-540-75187-8\_35},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/casc/YoshidaNAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KannoHAY07,
author = {Masaaki Kanno and
Shinji Hara and
Hirokazu Anai and
Kazuhiro Yokoyama},
title = {Sum of roots, polynomial spectral factorization, and control performance
limitations},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {2968--2973},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4434562},
doi = {10.1109/CDC.2007.4434562},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/KannoHAY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KannoYAH07,
author = {Masaaki Kanno and
Kazuhiro Yokoyama and
Hirokazu Anai and
Shinji Hara},
editor = {Dongming Wang},
title = {Parametric optimization in control using the sum of roots for parametric
polynomial spectral factorization},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {211--218},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277578},
doi = {10.1145/1277548.1277578},
timestamp = {Mon, 22 Apr 2024 21:24:34 +0200},
biburl = {https://dblp.org/rec/conf/issac/KannoYAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ab/2007,
editor = {Hirokazu Anai and
Katsuhisa Horimoto and
Temur Kutsia},
title = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
of Hagenberg, Austria, July 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4545},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73433-8},
doi = {10.1007/978-3-540-73433-8},
isbn = {978-3-540-73432-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ab/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/AnaiOH06,
author = {Hirokazu Anai and
Shigeo Orii and
Katsuhisa Horimoto},
title = {Symbolic-numeric Estimation of Parameters in Biochemical Models by
Quantifier Elimination},
journal = {J. Bioinform. Comput. Biol.},
volume = {4},
number = {5},
pages = {1097--1118},
year = {2006},
url = {https://doi.org/10.1142/S0219720006002351},
doi = {10.1142/S0219720006002351},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcb/AnaiOH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/YanamiA06,
author = {Hitoshi Yanami and
Hirokazu Anai},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Development of SyNARC},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3992},
pages = {462--469},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758525\_62},
doi = {10.1007/11758525\_62},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/YanamiA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nma/KannoAY06,
author = {Masaaki Kanno and
Hirokazu Anai and
Kazuhiro Yokoyama},
editor = {Todor Boyanov and
Stefka Dimova and
Krassimir Georgiev and
Geno P. Nikolov},
title = {On the Relationship Between the Sum of Roots with Positive Real Parts
and Polynomial Spectral Factorization},
booktitle = {Numerical Methods and Applications, 6th International Conference,
{NMA} 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4310},
pages = {320--328},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70942-8\_38},
doi = {10.1007/978-3-540-70942-8\_38},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/nma/KannoAY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AnaiY05,
author = {Hirokazu Anai and
Kazuhiro Yokoyama},
editor = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
title = {Cylindrical Algebraic Decomposition via Numerical Computation with
Validated Symbolic Reconstruction},
booktitle = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
Volker Weispfenning},
pages = {25--30},
publisher = {Books on Demand},
year = {2005},
timestamp = {Tue, 30 Jun 2015 13:53:06 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AnaiY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/YanamiA05,
author = {Hitoshi Yanami and
Hirokazu Anai},
editor = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
title = {SyNRAC: {A} Maple Toolbox for Solving Real Algebraic Constraints},
booktitle = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
Volker Weispfenning},
pages = {275--279},
publisher = {Books on Demand},
year = {2005},
timestamp = {Mon, 04 Jul 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/YanamiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/YanamiA05,
author = {Hitoshi Yanami and
Hirokazu Anai},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Development of SyNRAC},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3516},
pages = {602--610},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428862\_82},
doi = {10.1007/11428862\_82},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/YanamiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AnaiHY05,
author = {Hirokazu Anai and
Shinji Hara and
Kazuhiro Yokoyama},
editor = {Manuel Kauers},
title = {Sum of roots with positive real parts},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {21--28},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073890},
doi = {10.1145/1073884.1073890},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AnaiHY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/YanamiA04,
author = {Hitoshi Yanami and
Hirokazu Anai},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Development of SyNRAC-Formula Description and New Functions},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3039},
pages = {286--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25944-2\_37},
doi = {10.1007/978-3-540-25944-2\_37},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/YanamiA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/AnaiY03,
author = {Hirokazu Anai and
Hitoshi Yanami},
editor = {Peter M. A. Sloot and
David Abramson and
Alexander V. Bogdanov and
Jack J. Dongarra and
Albert Y. Zomaya and
Yuri E. Gorbachev},
title = {SyNRAC: {A} Maple-Package for Solving Real Algebraic Constraints},
booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2657},
pages = {828--837},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44860-8\_86},
doi = {10.1007/3-540-44860-8\_86},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/iccS/AnaiY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AnaiW01,
author = {Hirokazu Anai and
Volker Weispfenning},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Reach Set Computations Using Real Quantifier Elimination},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {63--76},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_9},
doi = {10.1007/3-540-45351-2\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AnaiW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AnaiH00,
author = {Hirokazu Anai and
Shinji Hara},
title = {Fixed-structure robust controller synthesis based on sign definite
condition by a special quantifier elimination},
booktitle = {American Control Conference, {ACC} 2000, Chicago, Illinois, USA, 28-30
June, 2000},
pages = {1312--1316},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ACC.2000.876713},
doi = {10.1109/ACC.2000.876713},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AnaiH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AnaiW00,
author = {Hirokazu Anai and
Volker Weispfenning},
editor = {Carlo Traverso},
title = {Deciding linear-trigonometric problems},
booktitle = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
2000},
pages = {14--22},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/345542.345567},
doi = {10.1145/345542.345567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AnaiW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/AnaiK99,
author = {Hirokazu Anai and
Junji Kaneko},
title = {Algebraic approach to analysis of discrete-time polynomial systems},
booktitle = {5th European Control Conference, {ECC} 1999, Karlsruhe, Germany, August
31 - September 3, 1999},
pages = {2012--2017},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.23919/ECC.1999.7099613},
doi = {10.23919/ECC.1999.7099613},
timestamp = {Fri, 12 Mar 2021 16:09:40 +0100},
biburl = {https://dblp.org/rec/conf/eucc/AnaiK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:26 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:
