Sound and Deterministic Quadric Arrangements on a Rational Ellipsoid with Machine-Checkable Certificates

Shikisai Project

DOI: 10.5281/zenodo.23727751

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.