Programmes

Quatre-vingt-cinq programmes, huit dépôts

Le code source de la recherche : chaque programme est documenté et relié aux articles qu’il illustre.

ising program

ko6-spectral-solver/benchmarks/ising.py · 114 lignes

Benchmark B3: 2D Ising model (phase transition). Verifies: - Landau formalism of phase transitions Pass criterion: - Numerical Tc within ±2% of exact value (Tc_exact = 2 / ln(1+sqrt(2)) ≈ 2.269)

Analyse, Modélisation et Gestion des Systèmes Complexe… ↗

certification program

spectral-triple-minimality/src/certification.py · 52 lignes

Certification protocol for reproducible results in finite spectral triple enumeration. Implements pre-computation freeze and hash-based verification to ensure that enumeration parameters are fixed before execution and cannot be altered after.

Unification Analytique et Fondements Mathématiques de … ↗