Proofs of two conjectures on generalized Fibonacci cubes.

Jianxin Wei Heping Zhang

Published in: Eur. J. Comb. (2016)

Keyphrases

theorem prover
inference rules
theorem proving
real time
neural network
real world
decision making
decision trees
digital libraries
decision procedures
formal proof