scientific article; zbMATH DE number 5976765

MaRDI QIDQ3101174zbMATH OpenFDO

Authors Jónathan Heras, Vico Pascual, Francis Sergeraert, Julio Rubio

Publication date 22 November 2011

Mathematics Subject Classification ID

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

Recommendations

• fKenzo: a user interface for computations in algebraic topology
• A Kenzo interface for algebraic topology computations in SageMath
• Computational tools for topological coHochschild homology
• An application of computer algebra to algebraic topology
• A system for computing and reasoning in algebraic topology
• Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP
• A graphical interface for the Gromov-Witten theory of curves
• Computational Topology via Functional Programming: A Baseline Analysis
• The simplified topological \(\varepsilon\)-algorithms: software and applications
• Computing the homology of Koszul complexes

Describes a project that uses

Uses Software

• fKenzo

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3101174)