Current Challenges in Developing Open Source Computer Algebra Systems.

Janko Böhm Wolfram Decker Simon Keicher Yue Ren

Published in: MACIS (2015)

Keyphrases

current challenges
open source
future directions
computer algebra systems
utmost importance
open source software
computer algebra
case study
information systems
theorem prover
theorem proving
computer science
source code
software development
data management
academic researchers
data mining
databases