Login / Signup
Gravity, torsion, Dirac field and computer algebra using MAPLE and REDUCE
Dumitru N. Vulcanov
Published in:
CoRR (2002)
Keyphrases
</>
computer algebra
computer algebra systems
theorem prover
real time
databases
case study
search algorithm
semi supervised
theorem proving