Implementing the Goodstein Function in λ-Calculus.

Bertram Felgenhauer

Published in: Arch. Formal Proofs (2020)

Keyphrases

database
artificial intelligence
piecewise linear
databases
real world
computer vision
reinforcement learning
video sequences
support vector
user interface
efficient implementation