Pages that link to "Item:Q2817922"

The following pages link to Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922):

Displaying 2 items.

• Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
• Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)