Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 223,651,352 papers from all fields of science
Search
Sign In
Create Free Account
Hilbert's Nullstellensatz
Known as:
Projective Nullstellensatz
, Nullstellensatz
, Weak Nullstellensatz
Expand
Hilbert's Nullstellensatz (German for "theorem of zeros," or more literally, "zero-locus-theorem" – see Satz) is a theorem that establishes a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Gröbner basis
Linear algebra
Nonlinear system
Polynomial ring
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Polynomial reduction and evaluation of tree- and loop-level CHY amplitudes
M. Zlotnikov
2016
Corpus ID: 73517530
A bstractWe develop a polynomial reduction procedure that transforms any gauge fixed CHY amplitude integrand for n scattering…
Expand
2010
2010
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician
Norma B. Goethe
,
Michèle Friend
Studia Logica: An International Journal for…
2010
Corpus ID: 46669562
In this paper, we discuss the prevailing view amongst philosophers and many mathematicians concerning mathematical proof…
Expand
2009
2009
A Note on the Use of Sum in the Logic of Proofs
Roman Kuznets
2009
Corpus ID: 126069358
The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present…
Expand
2007
2007
Dynamics of projective morphisms having identical canonical heights
Shu Kawaguchi
,
J. Silverman
2007
Corpus ID: 9690040
Let ϕ, ψ:ℙN → ℙN be morphisms of degree at least 2 whose canonical heights ĥϕ and ĥψ are identical. We draw various conclusions…
Expand
2007
2007
A MODEL-THEORETIC PROOF OF HILBERT’S NULLSTELLENSATZ
Nicolas Ford
2007
Corpus ID: 2501509
The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In…
Expand
2005
2005
An extremal problem for H -linked graphs
A. Kostochka
,
Gexin Yu
2005
Corpus ID: 123181778
We introduce the notion of H-linked graphs, where H is a fixed multigraph with vertices w1,…,wm. A graph G is H-linked if for…
Expand
2004
2004
A Novel Pitch Period Detection Algorithm Based on Hilbert-Huang Transform
Zhihua Yang
,
D. Huang
,
Lihua Yang
Chinese Conference on Biometric Recognition
2004
Corpus ID: 36657699
In this paper, a novel event detection pitch detector is presented Hilbert-Huang Transform is employed to locate the instant at…
Expand
2004
2004
The Hilbert-Caratheodory and Poincare-Cartan forms for higher-order multiple-integral variational problems
M. Crampin
,
D. Saunders
2004
Corpus ID: 124642331
We consider higher-order homogeneous multiple-integral variational problems defined in the context of m-frame bundles, and…
Expand
2001
2001
The Gelfand map and symmetric products
V. Buchstaber
,
E. Rees
2001
Corpus ID: 9754981
If A is an algebra of functions on X, there are many cases when X can be regarded as included in Hom(A,C) as the set of ring…
Expand
1997
1997
Von Neumann Algebras and Hilbert Quantales
J. Pelletier
Applied Categorical Structures
1997
Corpus ID: 40272300
When A is a von Neumann algebra, the set of all weakly closed linear subspaces forms a Gelfand quantale, Maxw A. We prove that…
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