Automated selection of mathematical software.
Michael LucksIan GladwellPublished in: ACM Trans. Math. Softw. (1992)
Keyphrases
- software design
- software development
- computer systems
- software tools
- data driven
- software package
- software systems
- semi automated
- genetic algorithm
- computer aided
- software architecture
- automated theorem provers
- software platform
- software packages
- fine tuning
- embedded systems
- computer assisted
- semi automatic
- data processing
- evolutionary algorithm
- website
- information systems
- learning algorithm