scientific article; zbMATH DE number 1746644
From MaRDI portal
Publication:4530803
zbMath0986.68169MaRDI QIDQ4530803
Publication date: 9 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Linear forms in logarithms; Baker's method (11J86) Approximation to algebraic numbers (11J68)
Related Items
Use of algebraically independent numbers for zero recognition of polynomial terms., Counterexamples to witness conjectures, Complexity bounds for zero-test algorithms, What can we do with a Solution?, Counterexamples to the uniformity conjecture