Login / Signup
An Interactive Algebra Course with Formalised Proofs and Definitions.
Andrea Asperti
Herman Geuvers
Iris Loeb
Lionel Elie Mamane
Claudio Sacerdoti Coen
Published in:
MKM (2005)
Keyphrases
</>
user interaction
virtual reality
user friendly
data model
theorem proving
database
data sets
query language
boolean algebra
databases
neural network
machine learning
object oriented
programming language
algebraic expressions