Counterexamples to witness conjectures

Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let z be such an exp-log constant and let n be its size as an expression. Witness conjectures attempt to give bounds (n) for the number of decimal digits which need to be evaluated in order to test whether z equals zero. For this purpose, it is convenient to assume that exponentials are only applied to arguments with absolute values

• Type: Journal
• Year: 2006
• Where: JSC
• Authors: Joris van der Hoeven
• Keywords: Exp-log Constant, Field Operations, JSC 2006, Logarithm