A System for Computing and Reasoning in Algebraic Topology

DOI10.1007/978-3-642-22673-1_26zbMath1335.68228OpenAlexW41365818MaRDI QIDQ5200131

Jónathan Heras, Vico Pascual, Julio Jesús Rubio García

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_26

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Uses Software

• ACL2
• GAP
• fKenzo
• Kenzo
• HAP
• SCSCP
• OpenMath

Cites Work

• fKenzo: a user interface for computations in algebraic topology
• Interoperating between computer algebra systems

This page was built for publication: A System for Computing and Reasoning in Algebraic Topology