Keyphrases
- formal proof
- engineering design
- theorem prover
- artificial intelligence
- software engineering
- mechanical engineering
- von neumann
- materials science
- colour space
- colour images
- product design
- computer aided design
- machine learning
- digital topology
- decision making
- grey level
- neural network
- design process
- medical images
- evolutionary algorithm
- computer science