Computer algebra and desuspensions of stunted real projective spaces.

George Nakos Nikolaos Glinos

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

Keyphrases

computer algebra
theorem prover
computer algebra systems
decision making
bayesian networks
real life
real world
database systems
multiscale
euclidean space