Login / Signup
Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation.
Ulrich Kohlenbach
Published in:
Ann. Pure Appl. Log. (1993)
Keyphrases
</>
theorem prover
theorem proving
high quality
formal proof
search algorithm
database
decision making
e learning
computational complexity
model selection
closed form
inference rules
automated theorem proving
mathematical proofs