A computer algebra system for the study of commutativity up-to-coherent homotopies.

Anibal M. Medina-Mardones

Published in: CoRR (2021)

Keyphrases

computer algebra
data mining
genetic algorithm
artificial intelligence
case study
bayesian networks
theorem prover
study proposes