Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Polynomial interpolation and a priori bootstrap for computer-assisted
  proofs in nonlinear ODEs   In this work, we introduce a method based on piecewise polynomial
interpolation to enclose rigorously solutions of nonlinear ODEs. Using a
technique which we call a priori bootstrap, we transform the problem of solving
the ODE into one of looking for a fixed point of a high order smoothing
Picard-like operator. We then develop a rigorous computational method based on
a Newton-Kantorovich type argument (the radii polynomial approach) to prove
existence of a fixed point of the Picard-like operator. We present all
necessary estimates in full generality and for any nonlinearities. With our
approach, we study two systems of nonlinear equations: the Lorenz system and
the ABC flow. For the Lorenz system, we solve Cauchy problems and prove
existence of periodic and connecting orbits at the classical parameters, and
for ABC flows, we prove existence of ballistic spiral orbits.

36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg