Using the Magma Computer Algebra System in Abstract Algebra Courses.
John J. CannonCatherine PlayoustPublished in: J. Symb. Comput. (1997)
Keyphrases
- computer algebra
- theorem prover
- relational algebra
- distance education
- higher education
- boolean algebra
- online learning
- computer algebra systems
- database
- e learning
- learning objects
- data model
- computer science
- knowledge base
- abstract data types
- algebraic expressions
- query language
- higher level
- online course
- artificial intelligence
- machine learning
- computer science students
- automated theorem provers
- neural network