Sign in
Verified Exact Real Computation with Nondeterministic Functions and Limits.
Sewon Park
Published in:
FCT (2023)
Keyphrases
</>
real world
basis functions
artificial intelligence
real life
finite state
data sets
machine learning
information systems
image sequences
artificial neural networks
evolutionary algorithm
special case
exact computation