Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm

DOI10.1093/jigpal/jzt034zbMath1305.68157OpenAlexW1976974717MaRDI QIDQ5172125

José Luis Ruiz-Reina, Laureano Lambán, Francisco Jesús Martín-Mateos, Julio Jesús Rubio García

Publication date: 12 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle//11441/86519

zbMATH Keywords

program verificationformalisation of mathematicscomputational algebraic topology

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04)

Related Items (1)

Modelling algebraic structures and morphisms in ACL2

Uses Software

• ACL2
• Kenzo

This page was built for publication: Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm