Login / Signup

Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra.

Ivan I. ShevchenkoAndrej G. Sokolsky
Published in: ISSAC (1993)
Keyphrases
  • computer algebra
  • theorem prover
  • case study
  • artificial intelligence
  • face recognition
  • empirical studies
  • computer algebra systems
  • social networks
  • support vector
  • expert systems
  • remote sensing