@inproceedings{berthomieu,
  TITLE = {{msolve: A Library for Solving Polynomial Systems}},
  AUTHOR = {Berthomieu, J{\'e}r{\'e}my and Eder, Christian and {Safey El Din}, Mohab},
  BOOKTITLE = {{2021 International Symposium on Symbolic and Algebraic Computation}},
  ADDRESS = {Saint Petersburg, Russia},
  SERIES = {46th International Symposium on Symbolic and Algebraic Computation},
  PAGES     = {51--58},
  PUBLISHER = {{ACM}},
  YEAR = {2021},
  MONTH = Jul,
}

@article{GreenwoodMelczerRuzaWilson2022,
  author = {Greenwood, Torin and Melczer, Stephen and Ruza, Tiadora and Wilson, Mark C.},
  journal = {S\'{e}m. Lothar. Combin.},
  pages = {Art. 30, 12},
  title = {Asymptotics of coefficients of algebraic series via embedding into rational series (extended abstract)},
  volume = {86B},
  year = {2022}}

@article{Safey-El-DinSchost2018,
  author = {Safey El Din, Mohab and Schost, {\'E}ric},
  journal = {J. Symbolic Comput.},
  pages = {176--206},
  title = {Bit complexity for multi-homogeneous polynomial system solving---{A}pplication to polynomial minimization},
  volume = {87},
  year = {2018}}

@article{GiustiLecerfSalvy2001,
  author = {Giusti, Marc and Lecerf, Gr{{\'e}}goire and Salvy, Bruno},
  journal = {J. Complexity},
  number = {1},
  pages = {154--211},
  title = {A {G}r{\"o}bner free alternative for polynomial system solving},
  volume = {17},
  year = {2001}}


@phdthesis{Schost2001,
  author = {Schost, {{\'E}}ric},
  title = {Sur la r{\'e}solution des syst{\`e}mes polynomiaux {\`a} param{\`e}tres},
  year = {2001}}


@article{StraubZudilin2015,
  author = {Straub, Armin and Zudilin, Wadim},
  journal = {J. Approx. Theory},
  pages = {57--69},
  title = {Positivity of rational functions and their diagonals},
  volume = {195},
  year = {2015}}

@article{breiding2020certifying,
	title={Certifying zeros of polynomial systems using interval arithmetic},
	author={Breiding, Paul and Rose, Kemal and Timme, Sascha},
	journal={arXiv preprint arXiv:2011.05000},
	year={2020}
}


@article{Raichev2011,
  author = {Raichev, Alexander},
  journal = {ACM Commun. Comput. Algebra},
  number = {3-4},
  pages = {183--185},
  title = {New software for computing asymptotics of multivariate generating functions},
  volume = {45},
  year = {2011}}


@article{https://doi.org/10.48550/arxiv.2208.01784,
	doi = {10.48550/ARXIV.2208.01784},
	
	
	author = {Lee, Kisun},
	
	keywords = {Numerical Analysis (math.NA), Algebraic Geometry (math.AG), FOS: Mathematics, FOS: Mathematics, 65H14},
	
	title = {The {N}umerical{C}ertification package in {M}acaulay2},
	
	journal={arXiv preprint arXiv:	2208.01784},
	year = {2022},

}


@article{GillisReznickZeilberger1983,
  author = {Gillis, J. and Reznick, B. and Zeilberger, D.},
  journal = {SIAM J. Math. Anal.},
  number = {2},
  pages = {396--398},
  title = {On elementary methods in positivity theory},
  volume = {14},
  year = {1983}}


@article{Poorten1978,
  author = {van der Poorten, Alfred},
  journal = {Math. Intelligencer},
  number = {4},
  pages = {195--203},
  title = {A proof that {E}uler missed{$\ldots $}{A}p{\'e}ry's proof of the irrationality of {$\zeta (3)$}},
  volume = {1},
  year = {1978/79}}

@incollection{Apery1983,
  author = {Ap{{\'e}}ry, Roger},
  booktitle = {Study group on ultrametric analysis, 9th year: 1981/82, {N}o. 1},
  pages = {Exp. No. 16, 2},
  publisher = {Inst. Henri Poincar{\'e}, Paris},
  title = {Sur certaines s{\'e}ries enti{\`e}res arithm{\'e}tiques},
  year = {1983}}


@article{bernshtein1975number,
	title={The number of roots of a system of equations},
	author={Bernshtein, David N},
	journal={Functional Analysis and its applications},
	volume={9},
	number={3},
	pages={183--185},
	year={1975},
	publisher={Springer}
}

@book{sturmfels2002solving,
	title={Solving systems of polynomial equations},
	author={Sturmfels, B.},
	year={2002},
	series={Number 97 in CBMS Reginal Conference Series in Mathematics},
	publisher={American Mathematical Soc.}
}

@software{maple, 
  author = {{Maplesoft, a division of Waterloo Maple Inc..}}, 
  title = {Maple}, 
  url = {https://hadoop.apache.org}, 
  version = {2019}, 
  address = {Waterloo, Ontario}, 
  date = {2019}, 
}

@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{hauenstein2011alphacertified,
	title={alpha{C}ertified: Software for certifying numerical solutions to polynomial equations},
	author={Hauenstein, Jonathan D and Sottile, Frank},
	journal={ Available at {\tt math.tamu.edu/\~{} sottile/research/stories/alphaCertified}},
	year={2011}
}

@article{lee2019certifying,
  title={Certifying approximate solutions to polynomial systems on Macaulay2},
  author={Lee, Kisun},
  journal={ACM Communications in Computer Algebra},
  volume={53},
  number={2},
  pages={45--48},
  year={2019},
  publisher={ACM New York, NY, USA}
}

@incollection{OuaknineWorrell2014,
  author = {Ouaknine, Jo{{\"e}}l and Worrell, James},
  booktitle = {Automata, languages, and programming. {P}art {II}},
  pages = {330--341},
  publisher = {Springer, Heidelberg},
  series = {Lecture Notes in Comput. Sci.},
  title = {Ultimate positivity is decidable for simple linear recurrence sequences},
  volume = {8573},
  year = {2014}}

@article{huber1995polyhedral,
	title={A polyhedral method for solving sparse polynomial systems},
	author={Huber, Birkett and Sturmfels, Bernd},
	journal={Mathematics of computation},
	volume={64},
	number={212},
	pages={1541--1555},
	year={1995}
}

@inproceedings{OuaknineWorrell2014a,
  author = {Ouaknine, Jo{\"e}l and Worrell, James},
  booktitle = {Proceedings of the {T}wenty-{F}ifth {A}nnual {ACM}-{SIAM} {S}ymposium on {D}iscrete {A}lgorithms},
  pages = {366--379},
  publisher = {ACM, New York},
  title = {Positivity problems for low-order linear recurrence sequences},
  year = {2014}}

@article{BaryshnikovMelczerPemantle2022,
  author = {Baryshnikov, Y. and Melczer, S. and Pemantle, R.},
  journal = {Foundations of Computational Mathematics},
  title = {Stationary points at infinity for analytic combinatorics},
  year = {2022}}

@article{BaryshnikovPemantle2011,
  author = {Baryshnikov, Yuliy and Pemantle, Robin},
  journal = {Adv. Math.},
  number = {6},
  pages = {3127--3206},
  title = {Asymptotics of multivariate sequences, part {III}: {Q}uadrat\-ic points},
  volume = {228},
  year = {2011}}


@article{PemantleWilson2004,
  author = {Pemantle, Robin and Wilson, Mark C.},
  journal = {Combin. Probab. Comput.},
  number = {4-5},
  pages = {735--761},
  title = {Asymptotics of multivariate sequences. {II}. {M}ultiple points of the singular variety},
  volume = {13},
  year = {2004}}


@book{SommeseWampler2005,
  author = {Sommese, Andrew and Wampler, Charles},
  publisher = {World Scientific},
 title = {The Numerical Solution of Systems of Polynomials Arising in Engineering and Science},
 year = {2005}
}

@article{PemantleWilson2002,
  author = {Pemantle, Robin and Wilson, Mark C.},
  journal = {J. Combin. Theory Ser. A},
  number = {1},
  pages = {129--161},
  title = {Asymptotics of multivariate sequences. {I}. {S}mooth points of the singular variety},
  volume = {97},
  year = {2002}}

@article{verschelde1999algorithm,
  title={Algorithm 795: {PHC}pack: A general-purpose solver for polynomial systems by homotopy continuation},
  author={Verschelde, Jan},
  journal={ACM Transactions on Mathematical Software (TOMS)},
  volume={25},
  number={2},
  pages={251--276},
  year={1999},
  publisher={ACM New York, NY, USA}
}

@inproceedings{breiding2018homotopycontinuation,
  title={Homotopy{C}ontinuation.jl: A package for homotopy continuation in Julia},
  author={Breiding, Paul and Timme, Sascha},
  booktitle={International Congress on Mathematical Software},
  pages={458--465},
  year={2018},
  organization={Springer}
}

@article{lee2008hom4ps,
  title={{HOM4PS}-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method},
  author={Lee, Tsung-Lin and Li, Tien-Yien and Tsai, Chih-Hsiung},
  journal={Computing},
  volume={83},
  number={2},
  pages={109--133},
  year={2008},
  publisher={Springer}
}





@article{leykin2011numerical,
	title={Numerical algebraic geometry},
	author={Leykin, A.},
	journal={Journal of Software for Algebra and Geometry},
	volume={3},
	number={1},
	pages={5--10},
	year={2011},
	publisher={Mathematical Sciences Publishers}
}



@book{FlajoletSedgewick2009,
  author = {Flajolet, Philippe and Sedgewick, Robert},
  publisher = {Cambridge University Press, Cambridge},
  title = {Analytic combinatorics},
  year = {2009}}

@book{PemantleWilson2013,
  author = {Pemantle, Robin and Wilson, Mark C.},
  publisher = {Cambridge University Press, Cambridge},
  series = {Cambridge Studies in Advanced Mathematics},
  title = {Analytic combinatorics in several variables},
  volume = {140},
  year = {2013}}

@article{duff2019solving,
	title={Solving polynomial systems via homotopy continuation and monodromy},
	author={Duff, Timothy and Hill, Cvetelina and Jensen, Anders and Lee, Kisun and Leykin, Anton and Sommars, Jeff},
	journal={IMA Journal of Numerical Analysis},
	volume={39},
	number={3},
	pages={1421--1446},
	year={2019},
	publisher={Oxford University Press}
}
@misc{BHSW06,
	author = {Bates, Daniel J. and Hauenstein, Jonathan D. and Sommese, Andrew J.
	and Wampler, Charles W.},
	title = {Bertini: Software for Numerical Algebraic Geometry},
	howpublished = {Available at bertini.nd.edu with permanent doi: dx.doi.org/10.7274/R0H41PB5}
}
@book{Melczer2021,
  author = {Melczer, Stephen},
  publisher = {Springer International Publishing},
  series = {Texts and Monographs in Symbolic Computation},
  title = {An Invitation to Analytic Combinatorics: From One to Several Variables},
  year = {2021}}

@techreport{Mezzarobba2016,
  author = {Marc Mezzarobba},
  institution = {arXiv},
  number = {1607.01967},
  title = {Rigorous Multiple-Precision Evaluation of {D}-Finite Functions in {S}age{M}ath},
  year = {2016}}

@incollection{KauersJaroschekJohansson2015,
  author = {Kauers, Manuel and Jaroschek, Maximilian and Johansson, Fredrik},
  booktitle = {Computer algebra and polynomials},
  pages = {105--125},
  publisher = {Springer, Cham},
  series = {Lecture Notes in Comput. Sci.},
  title = {Ore polynomials in {S}age},
  volume = {8942},
  year = {2015}}

@article{Johansson2017,
	author = {Johansson, Fredrik},
	doi = {10.1109/TC.2017.2690633},
	journal = {IEEE Transactions on Computers},
	number = {8},
	pages = {1281--1292},
	publisher = {IEEE},
	title = {Arb: Efficient arbitrary-precision midpoint-radius interval arithmetic},
	url = {https://arxiv.org/abs/1611.02831},
	volume = {66},
	year = {2017}
}

@incollection{BaryshnikovMelczerPemantleStraub2018,
  author = {Baryshnikov, Yuliy and Melczer, Stephen and Pemantle, Robin and Straub, Armin},
  booktitle = {29th {I}nternational {C}onference on {P}robabilistic, {C}ombinatorial and {A}symptotic {M}ethods for the {A}nalysis of {A}lgorithms},
  pages = {Art. No. 12, 15},
  publisher = {Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern},
  series = {LIPIcs. Leibniz Int. Proc. Inform.},
  title = {Diagonal asymptotics for symmetric rational functions via {ACSV}},
  volume = {110},
  year = {2018}}

@article{FlajoletSalvyZimmermann1991,
  title = {Automatic Average-case Analysis of Algorithms},
  author = {Flajolet, Philippe and Salvy, Bruno and Zimmermann, Paul},
  year = {1991},
  journal = {Theoretical Computer Science},
  volume = {79},
  number = {1},
  pages = {37--109},
  url = {http://hal.inria.fr/inria-00077102_v1/},
}

@article{MelczerSalvy2021,
  author = {Melczer, Stephen and Salvy, Bruno},
  journal = {J. Symbolic Comput.},
  pages = {234--279},
  title = {Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems},
  volume = {103},
  year = {2021}}

@inproceedings{GourdonSalvy1996,
  author = {Gourdon, Xavier and Salvy, Bruno},
  booktitle = {Proceedings of the 5th {C}onference on {F}ormal {P}ower {S}eries and {A}lgebraic {C}ombinatorics ({F}lorence, 1993)},
  number = {1-3},
  pages = {145--163},
  title = {Effective asymptotics of linear recurrences with rational coefficients},
  volume = {153},
  year = {1996}}

@article{Apery4,
  author = {Roger Apéry},
  journal = {Journées Arith. de Luminy. Colloque International du Centre National de la Recherche Scientifique (CNRS), Centre Universitaire de Luminy, Jun 20-24. Astérisque},
  pages = {11-13},
  title = {Irrationalité de $\zeta(2)$ et $\zeta(3)$},
  volume = {61},
  year = {1979}}

@article{Smale,
  author = {Wang, Zhao},
  journal = {J. Comput. Appl. Math.},
  pages = {253-269},
  title = {The Theory of Smale's Point Estimation and Its Application.},
  volume = {60},
  year = {1995}}

@article{PemantleWilson2008,
  author = {Pemantle, Robin and Wilson, Mark C.},
  journal = {SIAM Rev.},
  pages = {199-272},
  title = {Twenty combinatorial examples of asymptotics derived from multivariate generating functions.},
  volume = {50(2)},
  year = {2008}}