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

DOI10.1007/978-3-319-40229-1_15zbMath1475.68459OpenAlexW2483133225MaRDI QIDQ2817922

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

Publication date: 5 September 2016

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_15

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Natural language processing (68T50) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Formalization of mathematics in connection with theorem provers (68V20) Digital mathematics libraries and repositories (68V35)

Related Items (2)

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 ⋮ Formula simplification via invariance detection by algebraically indexed types

Uses Software

• SATLIB
• SMT-LIB
• TPTP
• Mizar
• TGTP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• Wide-Coverage Efficient Statistical Parsing with CCG and Log-Linear Models

This page was built for publication: Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems