06271 Executive Summary - Challenges in Symbolic Computation Software.
Wolfram DeckerMike DewarErich KaltofenStephen M. WattPublished in: Challenges in Symbolic Computation Software (2006)
Keyphrases
- software development
- technical issues
- technical challenges
- software design
- software tools
- key issues
- lessons learned
- open issues
- computer software
- user interface
- real time
- real world
- hardware design
- software developers
- commercial software
- automated deduction
- summary generation
- software testing
- world wide
- test cases
- information extraction
- machine learning
- data mining
- data sets