Proof of Northshield's conjecture concerning an analogue of Stern's sequence for ℤ[√2].

Published in: Australas. J Comb. (2018)

Keyphrases

database
neural network
linear logic
real world
knowledge base
decision trees
three dimensional
reinforcement learning
artificial neural networks
theorem prover
theorem proving