Integrating multiple sources to answer questions in Algebraic Topology

TL;DR

This paper introduces an integrated system that combines multiple algebraic topology computational sources, enabling cooperation and interoperability among different systems for enhanced problem-solving capabilities.

Contribution

It presents an evolving architecture that transforms a user interface into a collaborative platform for various algebraic topology computational tools.

Findings

System enables interoperability among multiple algebraic topology sources.

Facilitates shared calculations across different computational systems.

Enhances the capabilities of the Kenzo system through integration.

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.