Verified Exact Real Computation with Nondeterministic Functions and Limits.

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