About | C++

Research

The theory and publications behind trueform's algorithms.

Geometry pipelines accumulate defects. Sculpting, remeshing, format conversion—each step can introduce non-manifold flaps, inconsistencies, and surface artifacts. By the time geometry reaches your algorithm, it is rarely the ideal manifold most methods assume.

trueform is built around a simple idea: a mesh should be understood as an intended surface, observed through the noise of floating-point arithmetic and prior processing.

These defects are additive—they attach to the surface without creating holes. The underlying structure remains recoverable.

Processing adds artifacts to the underlying mesh M\mathcal{M}': topological noise TΔ\textcolor{#14b8a6}{T_\Delta} (flaps, bad winding) and geometric noise GΔ\textcolor{#14b8a6}{G_\Delta} (displaced vertices). Idealization F\mathcal{F} recovers M\mathcal{M}' from M\mathcal{M}.

This perspective shapes the algorithms:

  • Topological consistency. The intersection graph is reduced to its unique canonical form. The reduction diagram maps each intersection to its simplest representative in the ε-topology, ensuring consistency under floating-point uncertainty.
  • Artifacts are modeled as independent noise. Geometric inconsistencies decompose locally across polygon regions; topological artifacts decompose globally across manifold edge-connected components—enabling robust classification of the intended structure.

The goal is commutative correctness: operations that commute with mesh idealization. Chain operations freely on non-ideal meshes and clean up once at the end.

Boolean operation B\mathcal{B} commutes with mesh idealization F\mathcal{F}. Top: B\mathcal{B} on a mesh with artifacts produces a result with artifacts; the intersection graph GI\mathcal{G}_\mathcal{I} contains a branching edge. Bottom: B\mathcal{B} on idealized meshes produces a clean result; GI\mathcal{G}_\mathcal{I} is a simple closed curve. Apply F\mathcal{F} at any point—both paths yield equivalent geometry.

Publications

Citation

If you use trueform in your work, please cite:

@software{trueform2025,
    title={trueform: Real-time Geometric Processing},
    author={Sajovic, {\v{Z}}iga and {et al.}},
    organization={XLAB d.o.o.},
    year={2025},
    url={https://github.com/xlabmedical/trueform}
}