Proof of the Somos-4 Hankel determinants conjecture.

Published in: Adv. Appl. Math. (2009)

Keyphrases

linear logic
data sets
real world
search engine
computer vision
multi agent systems
theorem proving
proof planning
databases
image processing
decision trees
objective function
multi agent
digital libraries
user interface