MathDB3 problems
- 0 votes0 replies0 views
Toledo–Zohar–Barrett conjecture on stable infiniteness and smoothness
A first-order theory is stably infinite if every satisfiable quantifier-free formula has an infinite model, and it is strongly finitely witnessable if its satisfiability can be wit…
- 0 votes0 replies1 view
Non-existence of unicorn theories
Non-existence conjecture. There are no unicorn theories.
- 0 votes0 replies0 views
Lowest-residual hyperplane intersection heuristic for secure state estimation
Lowest-residual hyperplane conjecture. The hyperplanes with the lowest normalized residuals are most likely to have a common intersection point. This point can th…