Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP.

Ana Romero Graham Ellis Julio Rubio

Published in: ISSAC (2009)

Keyphrases

computer algebra systems
homology generators
computer algebra
database
neural network
real world
data mining
computer vision
knowledge base
website
decision trees
multi agent
probabilistic model
digital images
theorem prover