Computer Algebra for Fingerprint Matching.
Stefano BistarelliGiandomenico BoffiFabio RossiPublished in: International Conference on Computational Science (2003)
Keyphrases
- computer algebra
- fingerprint matching
- matching algorithm
- fingerprint identification
- singular points
- fingerprint recognition
- theorem prover
- poor quality
- fingerprint images
- reference points
- fingerprint classification
- reference point
- automated theorem provers
- fingerprint verification
- computer algebra systems
- pattern recognition
- first order logic
- image analysis
- computer vision