Skip to content

Exact Mathematicswith AI

Home Research MathlibAnnex About

Version history: Naimark's problem

Draft R1

Published 2026-09-21. Read PDF

R1

Published 2026-09-21. Read PDF

Exact Mathematics with AI

Ryotaro Tanaka · Associate Professor
Institute of Arts and Sciences, Tokyo University of Science

The affiliation is provided for identification only. Exact Mathematics with AI is an independent research initiative and is not an official website or publication of Tokyo University of Science.

Verification guide Corrections & prior art Content terms Declaration-card guide Back to top ↑

Built with Astro + Scholar-Lite