Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. (English) Zbl 1462.68152 AI Commun. 31, No. 3, 251-266 (2018). MSC: 68T01 00A07 68V15 68V20 68W30 PDFBibTeX XMLCite \textit{T. Matsuzaki} et al., AI Commun. 31, No. 3, 251--266 (2018; Zbl 1462.68152) Full Text: DOI
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016). MSC: 68V35 68T50 68V20 68W30 97U40 PDFBibTeX XMLCite \textit{T. Matsuzaki} et al., Lect. Notes Comput. Sci. 9706, 213--227 (2016; Zbl 1475.68459) Full Text: DOI
Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu Mathematics by machine. (English) Zbl 1325.68212 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 1-8 (2014). MSC: 68T15 03B35 03C10 68T50 PDFBibTeX XMLCite \textit{N. H. Arai} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 1--8 (2014; Zbl 1325.68212) Full Text: DOI
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. (English) Zbl 1291.68433 Theor. Comput. Sci. 479, 43-69 (2013). MSC: 68W30 03C10 PDFBibTeX XMLCite \textit{H. Iwane} et al., Theor. Comput. Sci. 479, 43--69 (2013; Zbl 1291.68433) Full Text: DOI
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu A symbolic-numeric approach to multi-objective optimization in manufacturing design. (English) Zbl 1270.90061 Math. Comput. Sci. 5, No. 3, 315-334 (2011). MSC: 90C29 90-04 68W30 65K99 PDFBibTeX XMLCite \textit{H. Iwane} et al., Math. Comput. Sci. 5, No. 3, 315--334 (2011; Zbl 1270.90061) Full Text: DOI