Integrating multiple sources to answer questions in Algebraic Topology

04/27/2010
by   Jónathan Heras, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/10/2021

Algebraic Topology for Data Analysis

This research addresses a new tool for data analysis known as Topologica...
research
12/09/2017

The Algebraic View of Computation

We argue that computation is an abstract algebraic concept, and a comput...
research
02/07/2022

On the sensitivity of implementations of a least-squares collocation method for linear higher-index differential-algebraic equations

The present paper continues our investigation of an implementation of a ...
research
12/01/2021

Algebra, Geometry and Topology of ERK Kinetics

The MEK/ERK signalling pathway is involved in cell division, cell specia...
research
05/25/2018

Invariants of graph drawings in the plane

We present a simplified exposition of some classical and modern results ...
research
09/12/2022

A Generic Bundle Forwarding Interface

A generic interface for determining the next hop(s) for a DTN bundle is ...
research
09/06/2021

Image recognition via Vietoris-Rips complex

Extracting informative features from images has been of capital importan...

Please sign up or login with your details

Forgot password? Click here to reset