Stem psf$ (all stems)
3 papers:
- ICPR-v2-2004-FlusserZ #invariant #symmetry
- Invariants to Convolution with Circularly Symmetric PSF (JF, BZ), pp. 11–14.
- ASF+SDF-1995-MauwM #data type #library
- A PSF Library of Data Types (SM, JCM), pp. 53–64.
- CAV-1991-MauwV #proving
- A Proof Assistant for PSF (SM, GJV), pp. 158–168.