Login / Signup
Computer Algebra Manipulations in Astronomy.
Tamara Ivanova
Published in:
International Conference on Computational Science (2004)
Keyphrases
</>
computer algebra
theorem prover
scientific data
earth science
computer algebra systems
decision making
data collection
automated theorem provers
image processing
image sequences
digital libraries
feature set
data management
data processing