Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,425,496 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.
Review
2018
Review
2018
A BRIEF SURVEY OF OPERATOR THEORY IN H(D)
Rongwei Yang
2018
Corpus ID: 53628699
This survey aims to give a brief introduction to operator theory in the Hardy space over the bidisc H(D). As an important…
Expand
2012
2012
Multidimensional Hilbert-type Inequality on the Weighted Orlicz Spaces
M. Krnić
2012
Corpus ID: 122248672
In this paper we derive multidimensional Hilbert-type inequality on the weighted Orlicz spaces with considerable attention given…
Expand
2008
2008
On some higher-dimensional Hilbert's and Hardy-Hilbert's integral inequalities with parameters
M. Krnić
,
J. Pečarić
,
Z. Mustafaev
2008
Corpus ID: 124255093
By introducing some parameters and a norm |x|α , x ∈ R+ , we give higherdimensional Hilbert’s and Hardy-Hilbert’s integral…
Expand
Highly Cited
2008
Highly Cited
2008
On Some Extensions of Hardy-Hilbert's Inequality and Applications
L. Azar
2008
Corpus ID: 43666031
Laith Emil Azar Department of Mathematics, Al Al-Bayt University, P.O. Box. 130095, Mafraq 25113, Jordan Correspondence should be…
Expand
2005
2005
A more accurate hardy-hilbert's type inequality
Y. Bi-cheng
2005
Corpus ID: 123463982
By introducing a parameter α,a more accurate Hardy-Hilbert's type inequality with a best constant factor is given.As applications…
Expand
2004
2004
Generalization of Inequalities of Hardy-Hilbert type
I. Brnetić
,
J. Pečarić
2004
Corpus ID: 123539213
A generalizations of the well-known Hilbert’s and Hardy-Hilbert’s inequality are given both in discrete and integral case…
Expand
2004
2004
Generalization of Hilbert's Integral Inequality
I. Brnetić
,
J. Pečarić
2004
Corpus ID: 123276106
A generalization of the well-known Hilbert’s inequality is given and several other results of this type obtained in the recent…
Expand
Highly Cited
2000
Highly Cited
2000
On Multidimensional Curves with Hilbert Property
J. Alber
,
R. Niedermeier
Theory of Computing Systems
2000
Corpus ID: 788382
Abstract. Indexing schemes for grids based on space-filling curves (e.g., Hilbert curves) find applications in numerous fields…
Expand
1998
1998
Weakly Confluent Quadratic Algebras
R. Berger
1998
Corpus ID: 116143927
Any quadratic algebra endowed with an ordered set of generators can bedescribed by some linear map called a reduction operator…
Expand
1998
1998
Geometric invariants for resolutions of Hilbert modules
R. Douglas
,
G. Misra
1998
Corpus ID: 34861733
The development of complex function theory beyond the one-variable case required new techniques and approaches, not just an…
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