Takuya Matsuzaki

From MaRDI portal
Person:2104528

Available identifiers

zbMath Open matsuzaki.takuyaMaRDI QIDQ2104528

List of research outcomes





PublicationDate of PublicationType
Formula simplification via invariance detection by algebraically indexed types2022-12-07Paper
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems12021-01-20Paper
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems2016-09-05Paper
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas2016-05-25Paper
Mathematics by machine2015-11-11Paper

Research outcomes over time

This page was built for person: Takuya Matsuzaki

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2104528&oldid=6758974"
Powered by MediaWiki