Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
Antonio J. DuránMario PérezJuan Luis VaronaPublished in: CoRR (2013)
Keyphrases
- computer algebra systems
- computer algebra
- automated theorem provers
- theorem prover
- trust model
- trust evaluation
- theorem proving
- computer scientists
- trust management
- data mining
- reputation models
- decision making
- internet commerce
- virtual teams
- applied mathematics
- trust relationships
- reputation systems
- database
- graphical models
- social networks
- neural network
- real time