The Computer-Aided Discovery of a Theorem about Young Tableaux.
Herbert S. WilfPublished in: J. Symb. Comput. (1995)
Keyphrases
- computer aided
- computer aided diagnosis
- computer assisted
- image analysis
- computer aided design
- functional dependencies
- diagnosis of breast cancer
- knowledge discovery
- neural network
- modal logic
- pulmonary nodules
- capsule endoscopy
- knowledge based systems
- control system
- design tools
- pattern recognition
- lung nodules
- knowledge base