📐 Computational Geometry - DRMacIver · Scour

A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem

🔢Model Counting Academic

Homology-Preserving Dimensionality Reduction via Adaptive Mapper and Landmark Isomap

🧮Combinatorics Academic

Hierarchical Space Partition for Surface Reconstruction

🔗Constraint Solving Academic

Efficient Computation of Distance Functions for Navigation Vector Fields in Lie Groups

🔗Constraint Solving Academic

Analytic patch trees: branch interface inheritance and fractal dimension fields

🎯Randomized Algorithms Academic

Bridging CAD and Data-Driven Design: Attributed Feature Graphs for Engineering Design

🔗Constraint Solving Academic

Efficient Mean Curvature Computation on High-Dimensional Data Manifolds

🎯Randomized Algorithms Academic

Data-efficient machine-learning of complex Fe-Mo intermetallics using domain knowledge of chemistry and crystallography

🧩SMT Solvers Academic

Log in to enable infinite scrolling