An application of computer algebra to algebraic topology.

Nikolaos Glinos George Nakos

Published in: Int. J. Comput. Math. (1990)

Keyphrases

computer algebra
theorem prover
computer algebra systems
topology preserving
automated theorem provers
database
real time
data structure
small world
topology preservation
data sets
decision making
expert systems
hidden markov models