Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,130 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.
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
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
2011
2011
On the Origin of Physical Dynamics and Special Relativity.
I. J. V. Leunen
2011
Corpus ID: 59469499
The origin of physical dynamics and the reason of existence of special relativity are explored. This endeavour is started by…
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
2001
2001
Exploring recursion in Hilbert curves (poster session)
Richard Rasala
Annual Conference on Innovation and Technology in…
2001
Corpus ID: 37591988
This tip will describe the use of a graphical tool to explore the recursive Hilbert curves and will explain some of the…
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
1967
1967
SOME PROPERTIES OF HILBERT SCALES
R. Bonic
1967
Corpus ID: 53959336
1. Hilbert scales. Suppose Eo is a separable complex Hilbert space with inner product (, )o. Let A: E0-*Eo be a completely…
Expand