×

Found 5 Documents (Results 1–5)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software