Login / Signup
A Bijective Proof for a Theorem of Ehrhart.
Steven V. Sam
Published in:
Am. Math. Mon. (2009)
Keyphrases
</>
interactive theorem proving
theorem prover
linear logic
reinforcement learning
theorem proving
data sets
feature selection
decision making
multimedia
expert systems
special case
sufficient conditions
automated theorem proving
proof search