A Combinatorial Proof of a Schmidt Type Theorem of Andrews and Paule.

Published in: Electron. J. Comb. (2022)

Keyphrases

interactive theorem proving
real world
data sets
high level
expert systems
theorem prover
machine learning
information retrieval
knowledge base
search algorithm
lower bound
special case
mobile robot
von neumann
linear logic