The following pages link to DIOPHANTINE SETS (Q5686030):
Displaying 9 items.
- An asymptotic formula for \(\pi\) (Q1115899) (← links)
- Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids (Q1251139) (← links)
- Existence of noneffectivizable estimates in the theory of exponential Diophantine equations (Q1256452) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- (Q5239581) (← links)
- Embedding of provably unsolvable problems into stream ciphers;Встраивание доказуемо неразрешимых задач в шифры гаммирования (Q6167582) (← links)
