The SymbolicData Project - Towards a Computer Algebra Social Network.
Hans-Gert GräbeAndreas NareikeSimon JohanningPublished in: CICM Workshops (2014)
Keyphrases
- computer algebra
- social networks
- theorem prover
- social network analysis
- online social networks
- social networking
- automated theorem provers
- computer algebra systems
- neural network
- european project
- project management
- software development
- case study
- software projects
- current status
- data collection
- social connections
- information systems