06271 Abstracts Collection -- Challenges in Symbolic Computation Software.
Wolfram DeckerMike DewarErich KaltofenStephen M. WattPublished in: Challenges in Symbolic Computation Software (2006)
Keyphrases
- lessons learned
- software systems
- software tools
- key issues
- software development
- software developers
- real world
- software package
- case study
- computer systems
- software architecture
- source code
- practical experiences
- technical issues
- development process
- software platform
- mobile platforms
- automated deduction
- application scenarios
- technical challenges
- text files
- software testing
- personal computer
- software projects
- database
- document collections
- open source
- website
- information systems
- neural network
- data sets