Special issue on computer algebra in algebraic topology and its applications.

Graham Ellis Eduardo Sáenz-de-Cabezón

Published in: Appl. Algebra Eng. Commun. Comput. (2012)

Keyphrases

computer algebra
special issue
theorem prover
international journal
ai edam
ecml pkdd
applied intelligence
computer algebra systems
special section
decision making
multimedia
fuzzy logic
online learning
automated theorem provers