DOIAbstract
AbstractThis note describes a polynomial space proof of the Graham–Pollak theorem
AbstractThis note describes a polynomial space proof of the Graham–Pollak theorem
We introduce a new division formula on projective space which provides explicit solutions to various...
SIGLEAvailable from British Library Document Supply Centre- DSC:D74283/87 / BLDSC - British Library ...
AbstractIn this paper we give a computer proof of a new polynomial identity, which extends a recent ...
This note describes a polynomial space proof of the Graham–Pollak theorem.© Elsevie
In this paper, we obtain a new characterization of Hilbert spaces by means of polynomial mappings, e...
We extend a logical characterization of PSPACE due to Makowsky and Pnueli by showing that their logi...
During the last decade, an active line of research in proof complexity has been into the space compl...
Contains fulltext : 28455.pdf (publisher's version ) (Open Access
During the last decade, an active line of research in proof complexity has been into the space compl...
AbstractA strengthened form of Gurevich's conjecture was proved by R. L. Graham, which says that for...
We prove some properties of positive polynomial mappings between Riesz spaces, using finite differen...
AbstractGiven a polynomial P(X1,…,XN)∈R[X], we calculate a subspace Gp of the linear space 〈X〉 gener...
AbstractBaker's theorem is a theorem giving an upper-bound for the genus of a plane curve. It can be...
Algebraic proof systems, such as Polynomial Calculus (PC) and Polynomial Calculus with Resolution (P...
AbstractWe give a polynomial counterexample to both the Markus–Yamabe conjecture and the discrete Ma...
We introduce a new division formula on projective space which provides explicit solutions to various...
SIGLEAvailable from British Library Document Supply Centre- DSC:D74283/87 / BLDSC - British Library ...
AbstractIn this paper we give a computer proof of a new polynomial identity, which extends a recent ...
This note describes a polynomial space proof of the Graham–Pollak theorem.© Elsevie
In this paper, we obtain a new characterization of Hilbert spaces by means of polynomial mappings, e...
We extend a logical characterization of PSPACE due to Makowsky and Pnueli by showing that their logi...
During the last decade, an active line of research in proof complexity has been into the space compl...
Contains fulltext : 28455.pdf (publisher's version ) (Open Access
During the last decade, an active line of research in proof complexity has been into the space compl...
AbstractA strengthened form of Gurevich's conjecture was proved by R. L. Graham, which says that for...
We prove some properties of positive polynomial mappings between Riesz spaces, using finite differen...
AbstractGiven a polynomial P(X1,…,XN)∈R[X], we calculate a subspace Gp of the linear space 〈X〉 gener...
AbstractBaker's theorem is a theorem giving an upper-bound for the genus of a plane curve. It can be...
Algebraic proof systems, such as Polynomial Calculus (PC) and Polynomial Calculus with Resolution (P...
AbstractWe give a polynomial counterexample to both the Markus–Yamabe conjecture and the discrete Ma...
We introduce a new division formula on projective space which provides explicit solutions to various...
SIGLEAvailable from British Library Document Supply Centre- DSC:D74283/87 / BLDSC - British Library ...
AbstractIn this paper we give a computer proof of a new polynomial identity, which extends a recent ...
Add to ORKG