Login / Signup
Leveraging computer algebra systems in calculus: a case study with SymPy.
Firuz Kamalov
David Santandreu
Ho Hon Leung
Jason Johnson
Ziad El-Khatib
Published in:
EDUCON (2023)
Keyphrases
</>
computer algebra
computer algebra systems
theorem prover
case study
automated theorem proving
real time
test bed
automated deduction
real world
data mining
feature selection
web services
artificial neural networks
graphical models
theorem proving