Login / Signup
From coinductive proofs to exact real arithmetic: theory and applications
Ulrich Berger
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
real life
theoretical basis
information theory
theorem proving
website
theoretical framework
databases
data mining
machine learning
decision trees
search algorithm
conceptual framework
theorem prover