NASA NTRS · 20205011862
Formal Verification of Semi-Algebraic Sets and Real Analytic Functions
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
J Tanner Slagel, Lauren White, Aaron M Dutle. Formal Verification of Semi-Algebraic Sets and Real Analytic Functions. https://ntrs.nasa.gov/citations/20205011862
Cite the original work for its findings. Save a collection to share your selection of sources.