Skip to content
#

underdetermination

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 HTML 1 Python 1

maxtuno / SATX

Sponsor
Star 6

SATX es un lenguaje formal y motor de decisión para el modelado, análisis y resolución de sistemas complejos bajo restricciones, especialmente aquellos caracterizados por conflictos estructurales entre objetivos, normas y actores, conocidos como Wicked Systems.

formal-methods formal-verification knowledge-representation satisfiability model-counting symbolic-reasoning sharp-sat underdetermination theory-identification
  • Updated Jan 15, 2026
  • Python

matthewsmawfield / TEP-EXP

Star 0

What Do Precision Tests of General Relativity Actually Measure? A methodological taxonomy showing why most precision tests constrain largely local, reciprocity-even observables within assumed frameworks. Proposes discriminating experiments. TEP Paper 10.

synchronization gps gnss general-relativity philosophy-of-science holonomy shapiro-delay precision-measurement falsifiability temporal-equivalence-principle two-metric-geometry experimental-tests underdetermination gravitational-redshift multi-messenger-astronomy
  • Updated Jan 15, 2026
  • HTML

Improve this page

Add a description, image, and links to the underdetermination 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 underdetermination topic, visit your repo's landing page and select "manage topics."

Learn more