Login / Signup
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.
Jónathan Heras
Vico Pascual
Julio Rubio
Published in:
LOPSTR (2010)
Keyphrases
</>
real time
set theoretic
data mining
multimedia
bayesian networks
user interface
convex sets