Login / Signup
An elementary proof for the exactness of (D, G) scaling.
Yoshio Ebihara
Published in:
ACC (2009)
Keyphrases
</>
real time
theorem prover
theorem proving
school children
databases
machine learning
decision making
information technology
hidden markov models
knowledge representation
scaling factors
proof planning
formal proof
scaling function
automated theorem provers
geometry theorem proving