The most useful methods for computing homology of finite topological spaces require that
certain regularity conditions are satisfied. In particular, the most suitable algorithmic …

In a previous paper we characterized, in the Category Theory setting, a class of
implementations of Abstract Data Types, which has been suggested by the way of …

With a particular focus on explicit computations and applications of the Koszul homology
and Betti numbers of monomial ideals, the main goals of this thesis are the following …

The specification of the data structures used in EAT, a software system for symbolic
computation in algebraic topology, is based on an operation that defines a link among …

Abstract The Eilenberg–Zilber algorithm is one of the central components of the computer
algebra system called Kenzo, devoted to computing in Algebraic Topology. In this article we …

Abstract Kenzo is a Computer Algebra system devoted to Algebraic Topology, and written in
the Common Lisp programming language. It is a descendant of a previous system called …

This work integrates the Kenzo system within Sagemath as an interface and an optional
package. Our work makes it possible to communicate both computer algebra programs and …

Abstract Kenzo is a Common Lisp system devoted to Algebraic Topology. Although Kenzo
uses higher-order functional programming intensively, we show in this paper how the …

In this paper, an approach to integrate an already-written Common Lisp program for
algebraic manipulation with ACL2 proofs of properties of that program is presented. We …

In this paper the analysis of the data structures used in a symbolic computation system,
called Kenzo, is undertaken. We deal with the specification of the inheritance relationship …