scientific article
From MaRDI portal
Publication:3975344
zbMath0875.55001MaRDI QIDQ3975344
Francis Sergeraert, Julio Jesús Rubio García
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Chain complexes (category-theoretic aspects), dg categories (18G35)
Related Items (2)
Formalization of a normalization theorem in simplicial topology ⋮ Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
This page was built for publication:
