Hidden verification for computational mathematics.
Hanne GottliebsenTom KelseyUrsula MartinPublished in: J. Symb. Comput. (2005)
Keyphrases
- neural network
- case study
- computational power
- real world
- database
- information retrieval
- image segmentation
- face verification
- model checking
- formal verification
- signature verification
- formal analysis
- formal methods
- mathematical programming
- computational models
- artificial neural networks
- computer science
- multi agent
- genetic algorithm
- machine learning