The following pages link to Undecidable problems: a sampler (Q3464652):
Displaying 9 items.
- Tropical varieties for exponential sums (Q785323) (← links)
- Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities (Q1711732) (← links)
- Some notes on a method for proving inequalities by computer (Q2634304) (← links)
- Entire functions with undecidable arithmetic properties (Q2660319) (← links)
- Undecidability of the Spectral Gap (Q5084676) (← links)
- On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness (Q5890037) (← links)
- From undecidability of non-triviality and finiteness to undecidability of learnability (Q6064265) (← links)
- The isomorphism problem of projective schemes and related algorithmic problems (Q6116696) (← links)
- An arithmetic analysis of closed surfaces (Q6567114) (← links)