Export Citations
1 Results for: Keyword: dfinite functions
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,835,012 records)|Limit your search to The ACM Full-Text Collection (773,262 records)
Select All
- research-articleJuly 2019
Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions
ISSAC '19: Proceedings of the 2019 International Symposium on Symbolic and Algebraic ComputationPages 267–274https://doi.org/10.1145/3326229.3326235We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based on the existence of oracles for evaluating basic data about the input ...