Mediated Access to Symbolic Computation Systems

DOI10.1007/978-3-540-85110-3_37MaRDI QIDQ5505524zbMATH OpenOpenAlexFDO

Authors Jónathan Heras, Vico Pascual, Julio Rubio

Publication date 27 January 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_37

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• fKenzo: a user interface for computations in algebraic topology
• Computational Science – ICCS 2005
• A system for computing and reasoning in algebraic topology
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
• Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP

Cites work

• An object-oriented interpretation of the EAT system
• Computational Science – ICCS 2005
• scientific article; zbMATH DE number 206022 (Why is no real title available?)
• scientific article; zbMATH DE number 3216237 (Why is no real title available?)
• Mathematical Knowledge Management
• Object oriented institutions to specify symbolic computation systems
• Towards the Mathematics Software Bus

Cited in

(6)

• fKenzo: a user interface for computations in algebraic topology
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• A system for computing and reasoning in algebraic topology
• Computational Science – ICCS 2005
• A Kenzo interface for algebraic topology computations in SageMath

Describes a project that uses

Uses Software

• EAT
• Kenzo

This page was built for publication: Mediated Access to Symbolic Computation Systems

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