Login / Signup
Non-commutative computer algebra and molecular computing.
Svetlana Cojocaru
Victor Ufnarovski
Published in:
Comput. Sci. J. Moldova (2001)
Keyphrases
</>
computer algebra
theorem prover
databases
database
three dimensional
data sets
neural network
automated theorem provers
computer algebra systems