A Refinement-Based Approach to Computational Algebra in Coq.

Maxime Dénès Anders Mörtberg Vincent Siles

Published in: ITP (2012)

Keyphrases

data model
computational power
data structure
mobile robot
formal methods
neural network
machine learning
website
similarity measure
multi agent systems
software engineering
relational algebra