Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,355,001 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
Highly Cited
2014
Highly Cited
2014
Life cycle assessment of the production of the red antioxidant carotenoid astaxanthin by microalgae: from lab to pilot scale
P. Pérez‐López
,
S. González‐García
,
+7 authors
M. T. Moreira
2014
Corpus ID: 59426830
Highly Cited
2010
Highly Cited
2010
Enhancement of spatial thinking with Virtual Spaces 1.0
H. Hauptman
Comput. Educ.
2010
Corpus ID: 206926224
Highly Cited
2008
Highly Cited
2008
Changes in North American extremes derived from daily weather data
T. Peterson
,
Xuebin Zhang
,
M. Brunet-India
,
J. Vazquez‐Aguirre
2008
Corpus ID: 55670624
Received 3 October 2007; revised 21 December 2007; accepted 7 January 2008; published 15 April 2008. [1] Detailed homogeneity…
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