Quake III Map Boundary Analysis Tool
-
Updated
May 8, 2024 - Python
#
boundary-analysis
Here are 4 public repositories matching this topic...
A Boundary Analysis and Formal Proof by Contradiction of Vizing’s Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent
research math mathematics graph-theory formal-methods combinatorics formal-verification interactive-theorem-proving cartesian-product boundary-analysis mathlib academic-research lean4 proof-by-contradiction conjecture-solving ai-augmented-research integral-gap-analysis vizings-conjecture minimal-counterexample fractional-domination
-
Updated
Aug 23, 2026 - Lean
MBA - Microservice Boundary Analyzer: detect wrong-cut microservices from runtime traces (SCOM cohesion metric). pip install boundary-analyzer
-
Updated
Jul 14, 2026 - Python
Gaussian hill surface geometry: curvature sign-change boundary analysis at r=sigma, phase-aware damping under noisy conditions, and reproducible artifact-backed benchmark evidence.
differential-geometry boundary-analysis riemannian-geometry curvature-analysis gaussian-curvature radial-symmetry surface-theory gaussian-function sign-change
-
Updated
Mar 5, 2026 - Python
Add this topic to your repo
To associate your repository with the boundary-analysis topic, visit your repo's landing page and select "manage topics."