Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,934,549 papers from all fields of science
Search
Sign In
Create Free Account
Hilbert system
Known as:
Hilbert-style deduction system
, Hilbert calculus
, Hilbert-style deductive systems
Expand
In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style deductive system or Hilbert–Ackermann…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Broader (1)
Automated theorem proving
Axiom of reducibility
Boolean algebra
Combinatory logic
First-order logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Hilbert curve characterizations of some relevant polarized manifolds
A. Lanteri
,
A. L. Tironi
2018
Corpus ID: 58931492
Hilbert curves of special varieties like Fano manifolds of low coindex as well as fibrations having such a manifold as general…
Expand
2012
2012
ON A STRENGTHENED VERSION OF THE MORE ACCURATE HARDY-HILBERT'S INEQUALITY
Hou-Xue Yang
2012
Corpus ID: 124898235
We improve the Hardy-Hilbert's inequality: let p1,1/p+1/q=1,an,bn≥0,and 0∞Σn=oapn∞,0∞Σn=obqn∞, then we have ∞Σm=0∞Σn=0ambn÷m+n+1…
Expand
2012
2012
Sensitive Bearing Defect Feature Extraction Based on EMD and Hilbert Envelope Spectrum
Boyuan Yang
,
Lanlan Liang
2012
Corpus ID: 114070812
In order to extract sensitive bearing friction torque defect feature, come up with a new method based on the EMD and Hilbert…
Expand
2011
2011
K-Bessel and K-Hilbert Systems
Z. Huseynov
2011
Corpus ID: 55463329
The paper is devoted to the generalization of the notion of Bessel and Hilbert systems for the Banach case. Appropriate notion…
Expand
2010
2010
GENERALIZED HARDY-HILBERT’S INEQUALITY
S. K. Sunanda
,
C. Nahak
,
S. Nanda
2010
Corpus ID: 126531008
2007
2007
Evidence of large-scale amplitude modulation on the near-wall turbulence
R. Mathis
,
N. Hutchins
,
I. Marusic
2007
Corpus ID: 13077775
The relationship between large- and small-scale motions remains a poorly understood process in wall-bounded turbulence. Such…
Expand
2006
2006
On a New Strengthened Hardy-Hilbert's Inequality
Wei-Jian Jia
2006
Corpus ID: 124145693
By means of a sharpening of Holder's inequality, Hardy-Hilbert's integral inequality with parameters is improved. Some new…
Expand
2000
2000
ON A STRENGTHENED HARDY-HILBERT INEQUALITY
Bi-Cheng Yang
2000
Corpus ID: 116652679
In this paper, a new inequality for the weight coefficient W(n,r) of the form W (n,r) = 1 X m=0 1
1998
1998
MACAULAY LOCAL RINGS OF EMBEDDING DIMENSION e d ÿ 3
M. Rossi
1998
Corpus ID: 17780484
The Hilbert function HA n of a local ring A; m is a good measure of the singularity at A; m: We can say that this numerical…
Expand
1997
1997
A Riemann-Hilbert approach to polarized solitons in a three-level medium.
S. Burman
,
A. Chowdhury
1997
Corpus ID: 117319479
Nonlinearopticsis oneof the mostimportantfieldsof physicswheresolitonsplay a dominantrole. Suchsolitonshave…
Expand