Proving Equalities in a Commutative Ring Done Right in Coq.

Benjamin Grégoire Assia Mahboubi

Published in: TPHOLs (2005)

Keyphrases

theorem prover
special case
formal methods
linear inequalities
real time
data sets
machine learning
case study
multi agent