Login / Signup
Combinatorial Proofs of Some Identities for the Fibonacci and Lucas Numbers.
Alex Eustis
Mark Shattuck
Published in:
Integers (2011)
Keyphrases
</>
theorem proving
search algorithm
combinatorial search
natural deduction
formal proofs
real time
multi agent
data structure
decision procedures