Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging

DOI10.1007/978-3-642-31374-5_15zbMath1360.68880arXiv1207.3315OpenAlexW1736583231MaRDI QIDQ2907325

María Poza, Jónathan Heras, Julio Jesús Rubio García

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.3315

zbMATH Keywords

integrationHaskellCoqdiscrete vector fieldsSSReflect

Mathematics Subject Classification ID

Computing methodologies for image processing (68U10) Biomedical imaging and signal processing (92C55)

Uses Software

• Coq
• Kenzo
• QuickCheck
• Coq/SSReflect

This page was built for publication: Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging