A Simpler Proof of the Four Functions Theorem and Some New Variants.

Dimitris Achlioptas Kostas Zampetakis

Published in: ISIT (2022)

Keyphrases

interactive theorem proving
computer vision
case study
expert systems
artificial neural networks
theorem proving
data sets
metadata
clustering algorithm
image sequences
lower bound
linear combination
basis functions