
Computer Algebra in R with caracas
The capability of R to do symbolic mathematics is enhanced by the caraca...
read it

Information algebras of coherent sets of gambles in general possibility spaces
In this paper, we show that coherent sets of gambles can be embedded int...
read it

Information algebras of coherent sets of gambles
In this paper, we show that coherent sets of gambles can be embedded int...
read it

Congruence Preservation, Lattices and Recognizability
Looking at some monoids and (semi)rings (natural numbers, integers and p...
read it

Studying Wythoff and Zometool Constructions using Maple
We describe a Maple package that serves at least four purposes. First, o...
read it

MultivariateApart: Generalized Partial Fractions
We present a package to perform partial fraction decompositions of multi...
read it

Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations
Algorithms of numeric (in exact arithmetic) deduction of analytical expr...
read it
A computer algebra system for the study of commutativity uptocoherent homotopies
The Python package ComCH is a lightweight specialized computer algebra system that provides models for well known objects, the surjection and BarrattEccles operads, parameterizing the product structure of algebras that are commutative in a derived sense. The primary examples of such algebras treated by ComCH are the cochain complexes of spaces, for which it provides effective constructions of Steenrod cohomology operations at all prime.
READ FULL TEXT
Comments
There are no comments yet.