Defining Corecursive Functions in Coq Using Approximations (Artifact).

Vlad Rusu David Nowak

Published in: Dagstuhl Artifacts Ser. (2022)

Keyphrases

search engine
theorem prover
database
data sets
search algorithm
digital libraries
expert systems
evolutionary algorithm
multiresolution
probability distribution
least squares
basis functions
numerical methods
linear functions