ref.bib

@article{gabrielov2004complexity,
  title={Complexity of computations with Pfaffian and Noetherian functions},
  author={Gabrielov, Andrei and Vorobjov, Nicolai},
  journal={Normal forms, bifurcations and finiteness problems in differential equations},
  pages={211--250},
  year={2004},
  publisher={Springer}
}

@article{krawczyk1969newton,
  title={Newton-algorithmen zur bestimmung von nullstellen mit fehlerschranken},
  author={Krawczyk, Rudolf},
  journal={Computing},
  volume={4},
  number={3},
  pages={187--201},
  year={1969},
  publisher={Springer}
}

@book{khovanskiui1991fewnomials,
  title={Fewnomials},
  author={Khovanskii, Askold},
  volume={88},
  year={1991},
  publisher={American Mathematical Soc.}
}

@TechReport{van2003majorants,
	author = 	 {J. van der Hoeven},
	title = 	 {Majorants for formal power series},
	institution =  {Universit\'e Paris-Sud, Orsay, France},
	year = 	 {2003},
	number = 	 {2003-15}
}


@article{smale1986newton,
  title={Newton's method estimates from data at one point},
  author={Smale, Steve},
  journal={The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics},
  year={1986},
  publisher={Springer-Verlag}
}

@article{hauenstein2012algorithm,
 title={Algorithm 921: alphaCertified: certifying solutions to polynomial systems},
 author={Hauenstein, Jonathan D and Sottile, Frank},
 journal={ACM Transactions on Mathematical Software (TOMS)},
 volume={38},
 number={4},
 pages={28},
 year={2012},
 publisher={ACM}
}

@article{rump1992solution,
	title={On the solution of interval linear systems},
	author={Rump, Siegfried M},
	journal={Computing},
	volume={47},
	number={3-4},
	pages={337--353},
	year={1992},
	publisher={Springer}
}

@book{neumaier1990interval,
	title={Interval methods for systems of equations},
	author={Neumaier, Arnold},
	volume={37},
	year={1990},
	publisher={Cambridge university press}
}

@book{moore2009introduction,
	title={Introduction to interval analysis},
	author={Moore, Ramon E and Kearfott, R Baker and Cloud, Michael J},
	volume={110},
	year={2009},
	publisher={Siam}
}

@article{hauenstein2017certifying,
	title={Certifying solutions to square systems of polynomial-exponential equations},
	author={Hauenstein, Jonathan D and Levandovskyy, Viktor},
	journal={Journal of Symbolic Computation},
	volume={79},
	pages={575--593},
	year={2017},
	publisher={Elsevier}
}

@article{pryce2006interval,
	title={Interval arithmetic with containment sets},
	author={Pryce, John D and Corliss, George F},
	journal={Computing},
	volume={78},
	number={3},
	pages={251--276},
	year={2006},
	publisher={Springer}
}

@techreport{mezzarobba2016rigorous,
	title={Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath},
	author={Mezzarobba, Marc},
	institution = {arXiv},
	number = {1607.01967},
	year={2016}
}

@book{blum2012complexity,
	title={Complexity and real computation},
	author={Blum, Lenore and Cucker, Felipe and Shub, Michael and Smale, Steve},
	year={2012},
	publisher={Springer Science \& Business Media}
}

@article{mezzarobba2010effective,
	title={Effective bounds for P-recursive sequences},
	author={Mezzarobba, Marc and Salvy, Bruno},
	journal={Journal of Symbolic Computation},
	volume={45},
	number={10},
	pages={1075--1096},
	year={2010},
	publisher={Elsevier}
}

@incollection{shub2000complexity,
	title={Complexity of Bezout's theorem. I: geometric aspects},
	author={Shub, Michael and Smale, Steve},
	booktitle={The Collected Papers of Stephen Smale: Volume 3},
	pages={1359--1401},
	year={2000},
	publisher={World Scientific}
}

@article{van1999fast,
	title={Fast evaluation of holonomic functions},
	author={Van der Hoeven, Joris},
	journal={Theoretical Computer Science},
	volume={210},
	number={1},
	pages={199--215},
	year={1999},
	publisher={Elsevier}
}

@article{henrici1974applied,
	title={Applied and computational complex analysis. vol. 1, power series, integration, conformal mapping, location of zeros},
	author={Henrici, Peter},
	year={1974},
	publisher={John Wiley}
}

@book{hibi2014grobner,
	title={Gr{\"o}bner bases: Statistics and software systems},
	author={Hibi, Takayuki},
	year={2014},
	publisher={Springer Science \& Business Media}
}

@article{mezzino1998leibniz,
	title={Leibniz's Formula, Cauchy Majorants, and Linear Differential Equations},
	author={Mezzino, Michael and Pinsky, Mark},
	journal={Mathematics magazine},
	volume={71},
	number={5},
	pages={360--368},
	year={1998},
	publisher={JSTOR}
}

@book{press2007numerical,
	title={Numerical recipes 3rd edition: The art of scientific computing},
	author={Press, William H},
	year={2007},
	publisher={Cambridge university press}
}

@book {MR783635,
	AUTHOR = {Lang, Serge},
	TITLE = {Real analysis},
	EDITION = {Second},
	PUBLISHER = {Addison-Wesley Publishing Company, Advanced Book Program,
	Reading, MA},
	YEAR = {1983},
	PAGES = {xv+533},
	ISBN = {0-201-14179-5},
	MRCLASS = {00A05 (26-01 28-01 46-01 47-01 58-01)},
	MRNUMBER = {783635},
	MRREVIEWER = {D. E. Edmunds},
}

@article{neher2001validated,
	title={Validated bounds for {T}aylor coefficients of analytic functions},
	author={Neher, Markus},
	journal={Reliable Computing},
	volume={7},
	number={4},
	pages={307--319},
	year={2001},
	publisher={Springer}
}

@book{eble2001computation,
	title={Computation of validated bounds for Taylor coefficients of analytic functions with ACETAF},
	author={Eble, Ingo and Neher, Markus},
	year={2001},
	publisher={Institut f{\"u}r Wissenschaftliches Rechnen und Mathematische Modellbildung, Universit{\"a}t Karlsruhe}
}

@incollection{braune1988standard,
	title={Standard functions for real and complex point and interval arguments with dynamic accuracy},
	author={Braune, Klaus D},
	booktitle={Scientific Computation with automatic result verification},
	pages={159--184},
	year={1988},
	publisher={Springer}
}

@article{braune1987high,
	title={High-accuracy standard functions for real and complex intervals},
	author={Braune, Klaus and Kr{\"a}mer, W},
	journal={Computerarithmetic: Scientific computation and programming languages},
	pages={81--114},
	year={1987},
	publisher={Teubner, Stuttgart, Germany}
}

@incollection{braune1988standard,
	title={Standard functions for real and complex point and interval arguments with dynamic accuracy},
	author={Braune, Klaus D},
	booktitle={Scientific Computation with automatic result verification},
	pages={159--184},
	year={1988},
	publisher={Springer}
}

@book{kulisch2012scientific,
	title={Scientific computation with automatic result verification},
	author={Kulisch, Ulrich and Stetter, Hans J},
	volume={6},
	year={2012},
	publisher={Springer Science \& Business Media}
}

@article{david1990computer,
	title={Computer algebra in the service of mathematical physics and number theory},
	author={Chudnovsky, David V. and Chudnovsky, Gregory V.},
	journal={Computers in mathematics},
	volume={125},
	pages={109},
	year={1990},
	publisher={CRC Press}
}


@article{benoit2017rigorous,
	title={Rigorous uniform approximation of D-finite functions using Chebyshev expansions},
	author={Benoit, Alexandre and Jolde{\c{s}}, Mioara and Mezzarobba, Marc},
	journal={Mathematics of Computation},
	volume={86},
	number={305},
	pages={1303--1341},
	year={2017}
}

@inproceedings{mezzarobba2010numgfun,
	title={NumGfun: a package for numerical and analytic computation with D-finite functions},
	author={Mezzarobba, Marc},
	booktitle={Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation},
	pages={139--145},
	year={2010},
	organization={ACM}
}


@manual{sagemath,
	Key          = {SageMath},
	Author       = {{The Sage Developers}},
	Title        = {{S}ageMath, the {S}age {M}athematics {S}oftware {S}ystem ({V}ersion 8.3)},
	note         = {{\tt http://www.sagemath.org}},
	Year         = {2018},
}

@misc{Mathematica,
	author = {Wolfram Research{,} Inc.},
	title = {Mathematica, {V}ersion 11.3},
	note = {Champaign, IL, 2018}
}

@article{hauenstein2011alphacertified,
	title={alphaCertified: Software for certifying numerical solutions to polynomial equations},
	author={Hauenstein, Jonathan D and Sottile, Frank},
	journal={Available at math.tamu.edu/\~{} sottile/research/stories/alphaCertified},
	year={2011}
}

@incollection{leykin2002d,
	title={D-modules for Macaulay 2},
	author={Leykin, Anton},
	booktitle={Mathematical Software},
	pages={169--179},
	year={2002},
	publisher={World Scientific}
}


@article{maple1994waterloo,
	title={Maple (2018)},
	author={Maplesoft},
	journal={a division of Waterloo Maple Inc., Waterloo, Ontario},
	year = 2018
}


@book{computermethods:range,
author = {H. Ratschek and J. Rokne},
title = {Computer Methods for the Range of Functions},
publisher = {Ellis Horwood Limited},
year = {1984}}

@article{MooreKioustelidis,
author = {R. E. Moore and J. B. Kioustelidis},
title = {A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems},
journal = {SIAM Journal on Numerical Analysis},
volume = 17,
number = 4,
year = 1980,
pages = {521--529}}


@article{kostlan1987random,
	title={Random polynomials and the statistical fundamental theorem of algebra},
	author={Kostlan, Eric},
	journal={preprint, Univ. of Hawaii},
	year={1987}
}

@inproceedings{hauenstein2015certifying,
	title={Certifying isolated singular points and their multiplicity structure},
	author={Hauenstein, Jonathan D and Mourrain, Bernard and Szanto, Agnes},
	booktitle={Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation},
	pages={213--220},
	year={2015},
	organization={ACM}
}

@article{hao2017computing,
	title={Computing Simple Multiple Zeros of Polynomial Systems},
	author={Hao, Zhiwei and Jiang, Wenrong and Li, Nan and Zhi, Lihong},
	journal={arXiv preprint arXiv:1703.03981},
	year={2017}
}

@inproceedings{mourrain1999new,
	title={A new criterion for normal form algorithms},
	author={Mourrain, Bernard},
	booktitle={International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes},
	pages={430--442},
	year={1999},
	organization={Springer}
}

@article{dedieu2001simple,
	title={On simple double zeros and badly conditioned zeros of analytic functions of n variables},
	author={Dedieu, Jean-Pierre and Shub, Mike},
	journal={Mathematics of computation},
	pages={319--327},
	year={2001},
	publisher={JSTOR}
}