Login / Signup
An elementary proof of a universal approximation theorem.
Chris Monico
Published in:
CoRR (2024)
Keyphrases
</>
interactive theorem proving
databases
approximation algorithms
closed form
error bounds
theorem prover
approximation error
von neumann
approximation ratio
linear logic
information retrieval
case study
multiscale
theorem proving
relative error
polygonal approximation