Login / Signup

Defining Corecursive Functions in Coq Using Approximations.

Vlad RusuDavid Nowak
Published in: ECOOP (2022)
Keyphrases
  • formal methods
  • databases
  • multiscale
  • data model
  • linear functions
  • neural network
  • computer vision
  • clustering algorithm
  • data structure
  • probabilistic model
  • knowledge representation
  • approximation methods