Pages that link to "Item:Q1131250"
From MaRDI portal
The following pages link to The decision problem for exponential diophantine equations (Q1131250):
Displaying 50 items.
- Numerical solution of certain exponential and non-linear Diophantine systems of equations by using a discrete particle swarm optimization algorithm (Q275842) (← links)
- The work of Kim and Roush on questions of decidability in algebra and number theory (Q368679) (← links)
- Towards finite-fold Diophantine representations (Q393229) (← links)
- Knapsack problem for nilpotent groups (Q524650) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- What can and cannot be done with Diophantine problems (Q741171) (← links)
- Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points (Q785335) (← links)
- Further results on Hilbert's tenth problem (Q829448) (← links)
- Metabelian groups: full-rank presentations, randomness and Diophantine problems (Q831196) (← links)
- Normal bases of PI-algebras. (Q863320) (← links)
- Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields (Q875926) (← links)
- Inferring answers to queries (Q927868) (← links)
- Satisfiability of algebraic circuits over sets of natural numbers (Q987688) (← links)
- Existential arithmetization of Diophantine equations (Q1006616) (← links)
- Julia Robinson, in memoriam (Q1068805) (← links)
- Incompleteness theorems for random reals (Q1105595) (← links)
- A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132) (← links)
- A superposition basis in the class of Kalmar elementary functions (Q1163014) (← links)
- Some undecidable determined games (Q1171511) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- My collaboration with Julia Robinson (Q1208619) (← links)
- Integer programming formulation of combinatorial optimization problems (Q1239086) (← links)
- Some decision problems for polynomial mappings (Q1248614) (← 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)
- Problems equivalent to rational Diophantine solvability (Q1262302) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Hypercomputation by definition (Q1434375) (← links)
- Constructive mathematics and mathematical logic. Part X. Transl. from the Russian (Q1578747) (← links)
- The computability, definability, and proof theory of Artinian rings (Q1628418) (← links)
- Circuit satisfiability and constraint satisfaction around Skolem arithmetic (Q1676359) (← 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)
- Diophantine representations of linear recurrent sequences. II (Q1977917) (← links)
- Decidability and \(k\)-regular sequences (Q2077376) (← links)
- Computable procedures for fields (Q2117796) (← links)
- Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity (Q2178495) (← links)
- Emptiness problems for integer circuits (Q2182324) (← links)
- The Bateman-Horn conjecture: heuristic, history, and applications (Q2221493) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Diophantine complexity (Q2276953) (← links)
- Balance problems for integer circuits (Q2333814) (← links)
- Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field (Q2359446) (← links)
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem (Q2406359) (← links)
- The Hilbert's-tenth-problem operator (Q2414521) (← links)
- Algebraic cycles from a computational point of view (Q2476017) (← links)
- An interpretation-oriented theorem prover over integers (Q2555384) (← links)
- Diophantine representations of the sequence of solutions of the Pell equation (Q2557696) (← links)
- Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\) (Q2566189) (← links)
