Computer certified efficient exact reals in Coq

Robbert Krebbers Bas Spitters

Published in: CoRR (2011)

Keyphrases

neural network
case study
relational databases
computer systems
computationally efficient
constraint databases
computer technology