Integrating Multiple Sources to Answer Questions in Algebraic Topology

DOI10.1007/978-3-642-14128-7_28MaRDI QIDQ3582718zbMATH OpenOpenAlexFDO

Authors Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio

Publication date 24 August 2010

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

Full work available at URL https://arxiv.org/abs/1005.0749

Mathematics Subject Classification ID

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

Abstract: We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations.

Recommendations

• scientific article; zbMATH DE number 1904840
• Topology through inquiry
• From concurrency to algebraic topology
• A system for computing and reasoning in algebraic topology
• scientific article; zbMATH DE number 1421160
• Comultiplications in algebra and topology
• scientific article; zbMATH DE number 5722907
• An application of computer algebra to algebraic topology
• scientific article; zbMATH DE number 1163955
• scientific article; zbMATH DE number 3225125

Cited in

(2)

• A system for computing and reasoning in algebraic topology
• Computational Science – ICCS 2005

Describes a project that uses

Uses Software

• Kenzo
• CLIPS
• HAP

This page was built for publication: Integrating Multiple Sources to Answer Questions in Algebraic Topology

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