A proof of Rado's Theorem via principal extension.

Jim Geelen Hao Sun

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

Keyphrases

interactive theorem proving
machine learning
theorem prover
data sets
theorem proving
von neumann
automated theorem proving
database
real world
artificial intelligence
image processing
three dimensional
image sequences
video sequences