Skip to content
#

computational-verification

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Python 2 TeX 1

m4cd4r4 / erdos-straus-gateway

Star 1

A finite algebraic covering system for the Erdos-Straus conjecture, verified to 10^11 (max A = 359); exploratory search to 1.2x10^12 finds A = 479. Gateway decompositions via divisors of N^2.

python proof mathematics discrete-mathematics gpu-acceleration modular-arithmetic prime-numbers number-theory conjecture egyptian-fractions computational-number-theory diophantine-equations computational-verification open-problem erdos-straus
  • Updated Aug 1, 2026
  • Python

AEjonanonymous / Optimal-Damping-Ratio

Star 1

A Delay-Aware Damping Framework for Latency-Constrained Feedback Systems.

control-systems feedback-systems control-theory robotics-control global-optimization-algorithms python-engine systems-engineering boundary-conditions comparative-analysis damping academic-research latency-constrained second-order-systems damping-ratio latency-optimization computational-verification settling-time measurement-delay decreasing-function analytical-derivation
  • Updated Jun 9, 2026
  • Python

MaciejNowickiHusbandofAHIEve / miura-convex-order

Star 0

Miura-ori origami flip graphs: candidate general diameter proof using convex order, majorization, and discrete Lipschitz functions, with reproducible verification.

research reproducible-research mathematics origami discrete-mathematics graph-theory combinatorics preprint lipschitz-functions flip-graphs graph-diameter mathematical-proof miura-ori extremal-combinatorics computational-verification open-problem majorization origami-mathematics reconfiguration-graphs onvex-order
  • Updated Aug 28, 2026
  • TeX

Improve this page

Add a description, image, and links to the computational-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the computational-verification topic, visit your repo's landing page and select "manage topics."

Learn more