| Reach set computations using real quantifier elimination H Anai, V Weispfenning International Workshop on Hybrid Systems: Computation and Control, 63-76, 2001 | 128 | 2001 |
| Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination H Anai, S Hara Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No …, 2000 | 76 | 2000 |
| SyNRAC: A maple-package for solving real algebraic constraints H Anai, H Yanami International Conference on Computational Science, 828-837, 2003 | 75 | 2003 |
| DTM-based filtrations H Anai, F Chazal, M Glisse, Y Ike, H Inakoshi, R Tinarrage, Y Umeda Topological Data Analysis: The Abel Symposium 2018, 33-66, 2020 | 56 | 2020 |
| The Maple package SyNRAC and its application to robust control design H Yanami, H Anai Future Generation Computer Systems 23 (5), 721-726, 2007 | 53 | 2007 |
| Computation of the splitting fields and the Galois groups of polynomials H Anai, M Noro, K Yokoyama Algorithms in algebraic geometry and applications, 29-50, 1996 | 48 | 1996 |
| The most uncreative examinee: A first step toward wide coverage natural language math problem solving T Matsuzaki, H Iwane, H Anai, N Arai Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 37 | 2014 |
| Modeling and managing airport passenger flow under uncertainty: A case of Fukuoka Airport in Japan H Yamada, K Ohori, T Iwao, A Kira, N Kamiyama, H Yoshida, H Anai Social Informatics: 9th International Conference, SocInfo 2017, Oxford, UK …, 2017 | 35 | 2017 |
| Learning multi-way relations via tensor decomposition with neural networks K Maruhashi, M Todoriki, T Ohwa, K Goto, Y Hasegawa, H Inakoshi, ... Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 34 | 2018 |
| Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox H Anai, H Yanami, S Hara, K Sakabe Proceedings of the 2004 IEEE International Conference on Control …, 2004 | 34 | 2004 |
| An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination H Iwane, H Yanami, H Anai, K Yokoyama Proceedings of the 2009 conference on Symbolic numeric computation, 55-64, 2009 | 33 | 2009 |
| An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination H Iwane, H Yanami, H Anai, K Yokoyama Theoretical Computer Science 479, 43-69, 2013 | 30 | 2013 |
| Semantic parsing of pre-university math problems T Matsuzaki, T Ito, H Iwane, H Anai, NH Arai Proceedings of the 55th Annual Meeting of the Association for Computational …, 2017 | 29 | 2017 |
| Mathematics by machine NH Arai, T Matsuzaki, H Iwane, H Anai Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014 | 26 | 2014 |
| A parameter space approach to fixed-order robust controller synthesis by quantifier elimination H Anai, S Hara International Journal of Control 79 (11), 1321-1330, 2006 | 26 | 2006 |
| Convex quantifier elimination for semidefinite programming H Anai, PA Parrilo Proceedings of the International Workshop on Computer Algebra in Scientific …, 2003 | 24 | 2003 |
| A parameter space approach for fixed-order robust controller synthesis by symbolic computation H Anai, S Hara IFAC Proceedings Volumes 35 (1), 359-364, 2002 | 24 | 2002 |
| Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem H Anai, S Hara, M Kanno, K Yokoyama Journal of Symbolic Computation 44 (7), 703-725, 2009 | 23 | 2009 |
| SyNRAC: A Toolbox for Solving Real Algebraic Constraints H Iwane, H Yanami, H Anai Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 22 | 2014 |
| Sum of roots with positive real parts H Anai, S Hara, K Yokoyama Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005 | 22 | 2005 |
