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
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)
Uses Software
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