Data · dataset · 2026
GeoProofBench v0.1: a machine-checked proposition set for digital elevation model analysis
Listed in ScienceDB
Digital elevation model (DEM) analysis underlies terrain-related work across geomorphology, hydrology, and civil engineering, yet published algorithms are rarely machine-checked.
Description
GeoProofBench (GPB) v0.1 is a proposition set of terrain-analysis claims expressed in Dafny and Lean 4, with a reproducible pipeline that compiles each proposition to a numerical witness, a Wolfram symbolic check, and a manim visualization, keyed to a GPB-N ENTRY: PASS verdict.
This deposit contains six first-order operators, composition records (including fill-then-watershed), counter-example grids, five noise levels, four DEM stacks plus three public product windows (USGS 3DEP lidar, Alaska IFSAR, Copernicus GLO-30), Dafny/Lean sources, Python/Wolfram drivers, and mp4 animations. Data are licensed CC-BY-4.0; software is licensed MIT. Public file access is intended at journal acceptance; until then the record may be restricted.
Links
Where it is published
- DOI doi.org/10.57760/sciencedb.011r9 ↗
DOI / persistent id · from scidb cn
Catalogue records · 1
- OAI-PMH record scidb.cn/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=10.57760%2… ↗
metadata API · from scidb cn
Topics
- From keywords
- Computer Science & AI · Earth & Environmental Science · Engineering · Humanities · Life Sciences · Social Science
- Inferred from text
- Geomatic engineering 72%
Provenance · 1 source records, 12 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| ScienceDB | 10.57760/sciencedb.011r9 | 11 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].anzsrc:group:4013 | enrichment · scidb cn | taxonomy-embedding@1.0.0 | title+keywords+description (72%) |
| concepts[field].local:field:computer-science-ai | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:engineering | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:humanities | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:social-science | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| description | source · scidb cn | connector:scidb_cn@1.0.0 | /metadata/dc/description |
| license | source · scidb cn | connector:scidb_cn@1.0.0 | /metadata/dc/rights |
| publication_date | source · scidb cn | connector:scidb_cn@1.0.0 | |
| title | source · scidb cn | connector:scidb_cn@1.0.0 | /metadata/dc/title |