Publicaciones en las que colabora con Laurence Rideau (1)

2011

  1. Incidence Simplicial Matrices Formalized in Coq/SSReflect

    Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 30-44