Teaching multivariable calculus and tensor calculus with computer algebra software.
Miao-jung Yvonne OuPublished in: ACM Commun. Comput. Algebra (2020)
Keyphrases
- computer algebra
- theorem prover
- software development
- higher order
- input output
- computer algebra systems
- user interface
- learning environment
- bayesian networks
- learning process
- software design
- automated theorem provers
- knowledge representation
- graphical models
- online learning
- e learning
- high order
- distance learning
- software tools
- expert systems
- structure tensor
- educational software