Counterexamples to witness conjectures

DOI10.1016/j.jsc.2006.04.008zbMath1158.11355OpenAlexW2155430514WikidataQ122908120 ScholiaQ122908120MaRDI QIDQ2457379

Joris van der Hoeven

Publication date: 23 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2006.04.008

zbMATH Keywords

counterexamplezero testingelementary constanthigh precision fraudWitness conjecture

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Evaluation of number-theoretic constants (11Y60) Software, source code, etc. for problems pertaining to sequences, series, summability (40-04)

Related Items (2)

Meta-expansion of transseries ⋮ Counterexamples to the uniformity conjecture

Cites Work

• Complexity bounds for zero-test algorithms
• Fast evaluation of holonomic functions near and in regular singularities
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Counterexamples to witness conjectures