Computing over Quadratic Maps I: Sampling in Real Algebraic Sets: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 15:3115:31, 24 December 2023SatoshiNakamoto talk contribs 1,343 bytes +1,343 Created page with "Title: Computing over Quadratic Maps I: Sampling in Real Algebraic Sets Research Question: How can we efficiently compute the zero set of a quadratic map in a real closed field? Methodology: The authors use symbolic computation, a technique where all data is represented exactly, as real univariate representations. They extend the real field by infinitesimals and perform limit computations to achieve their results. Results: The authors present a procedure that compute..."