@article{Ax71,
	author =	"J. Ax",
	year =		"1971",
	journal =	"Ann. of Math.",
	pages =		"252-268",
	title =		"On {S}chanuel's conjecture",
	volume =	"93"
}

@Article{Bar68,
  author = 	 {E.H. Bareiss},
  title = 	 {Sylvester's identity and multistep integer-preserving
                  {Gaussian} elimination},
  journal = 	 {Math. Comp. 22},
  year = 	 {1968},
  volume = 	 {22},
  pages = 	 {565--578}
}

@Article{BB92,
  author = 	 {J.M. Borwein and P.B. Borwein},
  title = 	 {Strange series and high precision fraud},
  journal = 	 {Mathematical Monthly},
  year = 	 {1992},
  volume = 	 {99},
  pages = 	 {622--640}
}

@article{BK78,
   author    = {R.P. Brent and H.T. Kung},
   title     = {Fast algorithms for manipulating formal power series},
   journal   = {Journal of the ACM},
   year      = {1978},
   volume    = {25},
   pages     = {581--595}
}

@PhdThesis{Boul94,
  author = 	 {F. Boulier},
  title = 	 {\'Etude et implantation de quelques algorithmes
                  en alg\`ebre diff\'erentielle},
  school = 	 {University of Lille I},
  year = 	 {1994}
}

@article{C/P,
	author =	"B.F. Caviness and M.J. Prelle",
	year = 		"1978",
	journal =	"SIGSAM Bull.",
	pages =		"18-20",
	title 	=	"A Note on Algebraic Independence of Logarithmic and
			 Exponential Constants",
	volume =	"12/2"
}

@article{DL84,
   author    = {J. Denef and L. Lipshitz},
   title     = {Power series solutions of algebraic differential equations},
   journal   = {Math. Ann.},
   year      = {1984},
   volume    = {267},
   pages     = {213--238}
}

@article{DL89,
   author    = {J. Denef and L. Lipshitz},
   title     = {Decision problems for differential equations},
   journal   = {The Journ. of Symb. Logic},
   year      = {1989},
   volume    = {54},
   number    = {3},
   pages     = {941--950}
}

@book{Ec92,
   author    = {J. \'Ecalle},
   title     = {Introduction aux fonctions analysables et
                preuve constructive de la conjecture de Dulac},
   year      = {1992},
   publisher = {Hermann, collection: Actualit\'es math\'ematiques}
}

@Book{Khin61,
  author = 	 {A. Ya. Khinchin},
  title = 	 {Continued fractions},
  publisher = 	 {Fizmatgiz},
  year = 	 {1961},
  address = 	 {Moscow},
  note = 	 {English transl., Univ. of Chicago Press, Chicago, Ill., 1964,
                  MR 28 \#5037}
}

@book{Khov91,
  author =       "A. G. Khovanskii",
  title =        "Fewnomials",
  publisher =    "American Mathematical Society",
  address =      "Providence, RI",
  year =         {1991},
  update =       "98.03 agarwal"
}

@article{Lang71,
	author =	"S. Lang",
	year = 		"1971",
	journal =	"Bull. Amer. Math. Soc.",
	pages =		"635-677",
	title =		"Transcendental Numbers and Diophantine Approximation",
	volume = 	"77/5"
}

@Article{LLL82,
  author = 	 {A.K. Lenstra and H.W. Lenstra and L. Lov\'asz},
  title = 	 {Factoring polynomials with rational coefficients},
  journal = 	 {Math. Ann.},
  year = 	 {1982},
  volume = 	 {261},
  pages = 	 {515--534}
}

@techreport{Mac/Wilkie,
  author =	"A.J. Macintyre and A.J. Wilkie",
  year =	"1994",
  institution =	"Oxford University",
  title = 	"On the decidability of the real exponential field"
}

@InCollection{MW95,
  author = 	 {A.J. Macintyre and A.J. Wilkie},
  title = 	 {On the decidability of the real exponential field},
  booktitle = 	 {Kreisel 70th birthday volume},
  year = 	 {1995},
  editor = 	 {P.G. Odifreddi},
  series = 	 {CLSI}
}

@InProceedings{Peladan95,
  author =       "Ariane P{\'e}ladan-Germa",
  title =        "Testing Identities of Series Defined by Algebraic
                  Partial Differential Equations",
  editor =       "G{\'e}rard Cohen and Marc Giusti and Teo Mora",
  pages =        "393--407",
  booktitle =    "Applied Algebra, Algebraic Algorithms and
                  Error-Correcting Codes",
  year =         "1995",
  publisher =    "Springer-Verlag",
  note =         "Proceedings of the 11th International Symposium,
                  AAECC-11, Paris, France, July 1995"
}

@article{Richardson94a,
	author =	"D. Richardson",
	year =		"1994",
	journal =	"J. Symbol. Comput.",
	volume =	"24(6)",
	pages =		"627-646",
	title =		"How to Recognise Zero"
}

@InProceedings{Rich01,
  author = 	 {D. Richardson},
  title = 	 {The uniformity conjecture},
  booktitle = 	 {Lecture Notes in Computer Science},
  pages = 	 {253--272},
  year = 	 {2001},
  volume = 	 {2064},
  publisher =    {Springer Verlag}
}

@article{Ris75,
   author    = {R.H. Risch},
   title     = {Algebraic properties of elementary functions in analysis},
   journal   = {Amer. Journ. of Math.},
   year      = {1975},
   volume    = {4},
   number    = {101},
   pages     = {743--759}
}

@Article{Roth55,
  author = 	 {K. Roth},
  title = 	 {Rational approximations to algebraic numbers},
  journal = 	 {Mathematika},
  year = 	 {1955},
  volume = 	 {2},
  pages = 	 {1--20},
  note = 	 {Corrigendum, 168, MR 17, 242}
}

@Article{Schn36,
  author = 	 {T. Schneider},
  title = 	 {{\"Uber} die Approximation algebraischer Zahlen},
  journal = 	 {J. Reine Angew. Math.},
  year = 	 {1936},
  volume = 	 {175},
  pages = 	 {110--128}
}

@inproceedings{Sh3,
	author =	"J.R. Shackell",
	booktitle =	"ISSAC '89 Proceedings",
	address = 	"Portland, Oregon",
	year =		"1989",
	publisher =	"A.C.M. Press",
	editor =	"G. Gonnet",
	pages =		"7-10",
	title =		"A Differential-Equations Approach to Functional
			 Equivalence"
}

@article{Sh4,
	author =	"J.R. Shackell",
	year =		"1993",
	journal =	"Trans. Amer. Math. Soc.",
	title =		"Zero-Equivalence in Function Fields defined by
			 Algebraic Differential Equations",
	volume =	"336/1",
	pages =		"151-172"
}

@TechReport{ShVdH01,
  author = 	 {J.R. Shackell and J. van der Hoeven},
  title = 	 {Complexity bounds for zero-test algorithms},
  institution =  {Pr\'epublications d'Orsay},
  year = 	 {2001},
  number = 	 {2001-63}
}

@Article{SSC85,
  author = 	 {M.F. Singer and B.D. Saunders and B.F. Caviness},
  title = 	 {An extension of {Liouville}'s theorem on
                  integration in finite terms},
  journal = 	 {SIAM J. Comp.},
  year = 	 {1985},
  volume = 	 {14},
  pages = 	 {966--990}
}

@conference{vdH:ane,
   author    = {J. van der Hoeven},
   title     = {Automatic numerical expansions},
   booktitle = {Proc. of the conference "Real numbers and computers",
                Saint-\'Etienne, France},
   year      = {1995},
   editor    = {J.-C. Bajard and D. Michelucci and J.-M. Moreau and
                J.-M. M\"uller},
   pages     = {261--274}
}

@phdthesis{vdHoeven97,
  author =   "J. van der {H}oeven",
  year =     "1997",
  address =  "Laboratoire d'Informatique,
              {\'{E}cole} Polytechnique, Paris, France",
  title =    "Asymptotique automatique",
  school =   "{\'{E}cole} Polytechnique"
}

@phdthesis{vdH:phd,
   author    = {J. van der Hoeven},
   title     = {Automatic asymptotics},
   year      = {1997},
   school    = {\'Ecole polytechnique, France}
}

@inproceedings{vdH:issac97,
   author    = {J. van der Hoeven},
   title     = {Lazy multiplication of formal power series},
   booktitle = {Proc. ISSAC '97},
   year      = {1997},
   month     = {July},
   pages     = {17--20},
   editor    = {W. W. K\"uchlin},
   address   = {Maui, Hawaii}
}

@TechReport{VdH:relax,
  author = 	 {J. van der Hoeven},
  title = 	 {Relax, but don't be too lazy},
  institution =  {Pr\'epublications d'Orsay},
  year = 	 {1999},
  number = 	 {78},
  note = 	 {Submitted to JSC}
}

@article{vdH:singhol,
   author    = {J. van der Hoeven},
   title     = {Fast evaluation of holonomic functions
                near and in singularities},
   volume    = "31",
   journal   = {JSC},
   year      = {2001},
   pages     = "717--743"
}

@TechReport{vdH:witness,
  author = 	 {J. van der Hoeven},
  title = 	 {Zero-testing, witness conjectures and
                  differential Diophantine approximation},
  institution =  {Pr\'epublications d'Orsay},
  year = 	 {2001},
  number = 	 {2001-62}
}

@TechReport{vdH:osc,
  author = 	 {Joris van der Hoeven},
  title = 	 {Complex transseries solutions to
                  algebraic differential equations},
  institution =  {Univ. d'Orsay},
  year = 	 {2001},
  number = 	 {2001-34}
}