symmetry-breaking 开源项目推荐（29 个）

joselado /pyqula

Python library to compute properties of quantum tight binding models, including topological, electronic and magnetic properties and including the effect of many-body interactions.

SMTG-Bham /ShakeNBreak

利用化学引导键扭曲进行缺陷结构搜索

SMTG-Bham /easyunfold

Band structure unfolding made easy!

kuwrom /one-field

Towards an End-to-end derivation of the Standard Model and gravity from an interference.

meelgroup /breakid

BreakID, a CNF symmetry-breaking library and tool

lip6 /cosy

该项目在 GitHub 上没有填写描述

SilasBoyeNissen /Theoretical-tool-bridging-cell-polarities-with-development-of-robust-morphologies

"Theoretical tool bridging cell polarities with development of robust morphologies" published in eLife (2018)

bangconghuynh /mqm2019poster

MQM2019 Poster

smbadiwe /ParaMODA

A C# implementation of Motif-Centric Network Motif Discovery Algorithms

prosysscience /Symmetry_Breaking_with_ILP

Exploit ILP to learn symmetry breaking constraints of ASP programs.

hpsurani /MCP-Image-Generator-Uncensored

Generate and edit uncensored images and videos locally via any MCP client on your own GPU—no cloud, account, or content filter.

TahaRostami /Gamma

Research artifacts for the queen domination problem

Ruqing1963 /kakutani-statistical-pharmacology-V

Paper V of Statistical Pharmacology via Kakutani Dichotomy: the chemical obstruction group Xi_beta^drug(S) = (Z/2Z)^{A_beta}, Borel-Cantelli tail order parameters, parity-cocycle invariance, and the relative-entropy staircase |A_beta| ln 2. Code, data, figure, LaTeX source and PDF.

AEjonanonymous /Whittaker-Zero-Invariant

Formal Verification of Whittaker-Type Zero-Invariant Fields and Receiver Symmetry Breaking in Lean 4 and SystemVerilog.

SergeyMatershov /strong-theorem-su6

Strong Theorem on the Higgs Sector of SU(6) GUT — Complete Algebraic Proof with Numerical Confirmation

leungll /PM-Coding

Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT

zfifteen /noether-early-warning

Atomic benchmark suite showing drift can act as an early warning before direct symmetry detection in gradual-breaking regimes, with reversal controls, finite-budget sensitivity tests, and exact alarm-time validation.

CosmicThinker25 /Latent-Structural-Causality

This work introduces the concept of Latent Structural Causality, a framework for describing physical entities that are formally present yet lack observable effects in certain regimes. Applied to cosmology, it interprets the emergence of gravity, light, and time as transitions of operativity rather than creations ex nihilo.

esthy13 /Sport-Tournament-Problem

Combinatorial optimization project solving the Single Round Robin tournament scheduling problem using CP, SAT, SMT, and MIP models, with experiments on symmetry breaking and home–away balance optimization.

lgboim /why-this-language-historical-symmetry-breaking-through-cultural-transmission

Research software, manuscript and replication materials for: Why This Language? Historical Symmetry Breaking through Cultural Transmission (Zenodo 10.5281/zenodo.22338797)