Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Effective certification of approximate solutions to systems of equations
  involving analytic functions   We 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 analytic functions. One approach for
certification is based on alpha-theory while the other is based on the Krawczyk
generalization of Newton's iteration. We show that the necessary oracles exist
for D-finite functions and compare the two algorithmic approaches for this case
using our software implementation in SageMath.

7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom