Verifying an algorithm computing discrete vector fields for digital imaging (Q2907325)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6079499
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verifying an algorithm computing discrete vector fields for digital imaging |
scientific article; zbMATH DE number 6079499 |
Statements
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging (English)
0 references
7 September 2012
0 references
discrete vector fields
0 references
Haskell
0 references
Coq
0 references
SSReflect
0 references
integration
0 references
0.804720938205719
0 references
0.7490567564964294
0 references
0.7319859266281128
0 references
0.7061570882797241
0 references
0.6835208535194397
0 references
