Topology Verification for Isosurface Extraction

  • Authors:

  • Tiago Etiene;Luis Gustavo Nonato;Carlos Scheidegger;Julien Tienry;Thomas J. Peters;Valerio Pascucci;Robert M. Kirby;Claudio T. Silva

  • Affiliations:

  • University of Utah, Salt Lake City;Universidade de São Paulo, São Carlos;AT&T Labs——Research, Madison;CNRS-LTCI-Telecom ParisTech, Paris;University of Connecticut, Storrs;University of Utah, Salt Lake City;University of Utah, Salt Lake City;University of Utah, Salt Lake City

  • Venue:
  • IEEE Transactions on Visualization and Computer Graphics
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topological invariants. Our extended framework reveals unexpected behavior and coding mistakes in popular publicly available isosurface codes.