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