Takuya Matsuzaki
From MaRDI portal
Person:2104528
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formula simplification via invariance detection by algebraically indexed types | 2022-12-07 | Paper |
| Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems AI Communications | 2021-01-20 | Paper |
| Race against the teens -- benchmarking mechanized math on pre-university problems Automated Reasoning | 2016-09-05 | Paper |
| Efficient subformula orders for real quantifier elimination of non-prenex formulas Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
| Mathematics by machine Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Research outcomes over time
This page was built for person: Takuya Matsuzaki
