Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,568,875 papers from all fields of science
Search
Sign In
Create Free Account
Hilbert's tenth problem
Known as:
Hilbert's 10th problem
, Hilberts tenth problem
, 10th Hilbert problem
Expand
Hilbert's tenth problem is the tenth on the list of Hilbert's problems of 1900. Its statement is as follows: Given a Diophantine equation with any…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
ABS methods
Algorithm
Computability theory
Discrete mathematics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Hilbert's Tenth Problem in Coq
Dominique Larchey-Wendling
,
Y. Forster
International Conference on Formal Structures for…
2020
Corpus ID: 115136458
We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's…
Expand
2017
2017
The Hilbert’s-Tenth-Problem Operator
K. Kramer
,
Russell Miller
Israel Journal of Mathematics
2017
Corpus ID: 41558447
For a ring R, Hilbert’s Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R…
Expand
2017
2017
Further results on Hilbert’s Tenth Problem
Zhi-Wei Sun
Science China Mathematics
2017
Corpus ID: 119637819
Hilbert’s Tenth Problem (HTP) asked for an algorithm to test whether an arbitrary polynomial Diophantine equation with integer…
Expand
2016
2016
Efficient certificateless anonymous multi-receiver encryption scheme for mobile devices
De-biao He
,
Huaqun Wang
,
Lina Wang
,
Jian Shen
,
Xianzhao Yang
Soft Computing - A Fusion of Foundations…
2016
Corpus ID: 19050098
With the popularity of mobile devices, how to enhance the security and privacy in wireless communications has gained…
Expand
Highly Cited
2010
Highly Cited
2010
Enhancement of spatial thinking with Virtual Spaces 1.0
H. Hauptman
Comput. Educ.
2010
Corpus ID: 206926224
2010
2010
HILBERT ' S TENTH PROBLEM FOR QUADRATIC RINGS
J. DENEFl
2010
Corpus ID: 14805871
Let A(D) be any quadratic ring; in this paper we prove that Hilbert's tenth problem for A(D) is unsolvable, and we determine…
Expand
Review
2005
Review
2005
Hilbert's Tenth Problem and Paradigms of Computation
Y. Matiyasevich
Conference on Computability in Europe
2005
Corpus ID: 7513504
This is a survey of a century long history of interplay between Hilbert's tenth problem (about solvability of Diophantine…
Expand
Highly Cited
2000
Highly Cited
2000
The influence of learning style and training method on self-efficacy and learning performance in WWW homepage design training
H. Chou
,
T. Wang
International Journal of Information Management
2000
Corpus ID: 17072363
Review
1994
Review
1994
Extensions of Hilbert's tenth problem
T. Pheidas
Journal of Symbolic Logic (JSL)
1994
Corpus ID: 22763584
The present article is an attempt to bridge the gap between the researchers that work in the areas adjacent to Hilbert's Tenth…
Expand
1958
1958
Reductions of Hilbert's tenth problem
Martin D. Davis
,
H. Putnam
Journal of Symbolic Logic (JSL)
1958
Corpus ID: 27958936
Hilbert's tenth problem is to find an algorithm for determining whether or not a diophantine equation possesses solutions. A…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE