Quantitative approximate definable choices

DOI10.1007/S00208-025-03128-3MaRDI QIDQ6998629zbMATH OpenFDO

Authors Antonio Lerario, L. Rizzi, Daniele Tiberio

Publication date 11 April 2025

Published in Mathematische Annalen (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00208-025-03128-3

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10)

Cites work

• Algorithms in real algebraic geometry
• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• Divide and conquer roadmap for algebraic sets
• Generic projections
• Hausdorff approximations and volume of tubes of singular algebraic sets
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 3620034 (Why is no real title available?)
• On multidimensional variations
• Real quantifier elimination is doubly exponential
• Tame geometry with application in smooth analysis
• The complexity of quantifier elimination and cylindrical algebraic decomposition

Cited in

(1)

• Abnormal singular foliations and the Sard conjecture for generic co-rank one distributions

This page was built for publication: Quantitative approximate definable choices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6998629)