Login / Signup

Symbolic Proof of Limits of Functions in Mathematica with Applications to Mathematics Education.

Andrés Iglesias PrietoRobert Ipanaqué Chero
Published in: ICCSA Workshops (2008)
Keyphrases
  • mathematics education
  • theorem prover
  • high level
  • domain knowledge
  • learning algorithm
  • e learning
  • first order logic
  • theorem proving