Paper Info
Title
Using Numerical Insights to Improve Symbolic Computations
Abstract
Numerical algebraic geometry provides a toolbox of numerical methods for performing computations involving systems of polynomial equations. Even though some of the computations which are performed on a computer using floating-point arithmetic are not certified, they can often be made very reliable using adaptive precision computations. Moreover, there is a wealth of information regarding the original problem which can be extracted from various numerical computation that can be used to improve subsequent symbolic computations to certify the result. This paper highlights two applications of such hybrid numeric-symbolic methods in algebraic geometry.
Year
DOI
Venue
2019
10.1109/SYNASC49474.2019.00011
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Keywords
DocType
ISSN
Numerical algebraic geometry, polynomial systems, homotopy continuation, witness sets, symbolic computations, hybrid numeric-symbolic computations
Conference
2470-8801
ISBN
Citations 
PageRank 
978-1-7281-5725-2
0
0.34
References 
Authors
8
1
Name
Order
Citations
PageRank
Jonathan D. Hauenstein126937.65