Unification of calculus on Time Scales with mathematica.

Ünal Ufuktepe Sinan Kapçak

Published in: Appl. Math. Comput. (2011)

Keyphrases

automated theorem proving
theorem proving
higher order
multiple scales
data structure
theorem prover
automated deduction
real time
computer vision
multi agent
expert systems
gaussian derivatives
computer algebra
equational theories