Complexity of semi−algebraic proofs

Complexity of semi−algebraic proofs

Show other versions (1)

Bibliographic Details
Main Authors:	Grigoriev, D, Hirsch, E, Pasechnik, D
Format:	Book
Published:	2002

Similar Items

Complexity of semi-algebraic proofs
by: Grigoriev, Dima, et al.
Published: (2013)

Exponential lower bound for static semi−algebraic proofs
by: Grigoriev, D, et al.
Published: (2002)

Exponential lower bound for static semi-algebraic proofs
by: Grigoriev, Dima., et al.
Published: (2014)

Complexity of semialgebraic proofs
by: Grigoriev, D, et al.
Published: (2002)

Polynomial−time computing over quadratic maps I. Sampling in real algebraic sets
by: Grigoriev, D, et al.
Published: (2005)

Algebra of proofs /
by: 349024 Szabo, M. E.
Published: (1978)

Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
by: Basu, S, et al.
Published: (2008)

Computing the Betti numbers of semi−algebraic sets defined by partly quadratic systems of polynomials
by: Basu, S, et al.
Published: (2009)

Algebra and Proof in High School: The Case of Algebraic Proof as Discovery
by: Mara Vanina Martinez
Published: (2014-02-01)

Polynomial-time computing over quadratic maps I : sampling in real algebraic sets
by: Grigoriev, Dima., et al.
Published: (2011)

Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials
by: Basu, S, et al.
Published: (2010)

Bounding the Betti numbers and computing the Euler−Poincare characteristic of semi−algebraic sets defined by partly quadratic systems of polynomials
by: Basu, S, et al.
Published: (2010)

Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials
by: Basu, S, et al.
Published: (2010)

Essential Convexity and Complexity of Semi-Algebraic Constraints
by: Manuel Bodirsky, et al.
Published: (2012-10-01)

Proof in C17 Algebra
by: Brendan Larvor
Published: (2005-08-01)

Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
by: Basu, Saugata, et al.
Published: (2009)

Algebraic proofs for shallow water bi–Hamiltonian systems for three cocycle of the semi-direct product of Kac–Moody and Virasoro Lie algebras
by: Zuevsky A.
Published: (2018-01-01)

Combinatorial proofs of freeness of some P-algebras
by: Vincent Vong
Published: (2015-01-01)

A standardisation proof for algebraic pattern calculi
by: Delia Kesner, et al.
Published: (2011-02-01)

Bounding the Betti numbers and computing the Euler–Poincaré characteristic of semi-algebraic sets deﬁned by partly quadratic systems of polynomials
by: Basu, Saugata, et al.
Published: (2013)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
by: Jifeng, H, et al.
Published: (1987)

Algebraic Specification and Proof of Properties of a Mail Service
by: Hoare, C, et al.
Published: (1986)

An algebraic proof for the identities for the degree of syzygies in numerical semigroup
by: Neeraj Kumar, et al.
Published: (2012-05-01)

Organizing the mathematical proof process with the help of basic components in teaching proof: Abstract algebra example
by: Aysun Yeşilyurt Çetin, et al.
Published: (2021-04-01)

On (semi)topology L-algebras
by: Mona Aaly Kologani
Published: (2023-02-01)

Numerical block diagonalization of matrix *−algebras with application to semidefinite programming
by: de Klerk, E, et al.
Published: (2011)

RAMSEY-TYPE RESULTS FOR SEMI-ALGEBRAIC RELATIONS
by: Conlon, D, et al.
Published: (2014)

Semi-classical Virasoro blocks: proof of exponentiation
by: Mert Beşken, et al.
Published: (2020-01-01)

Algebraic proof of recursive relation for Boros-Moll polynomial sequence
by: Yujie DOU, et al.
Published: (2023-08-01)

A Zero-Knowledge Proof System with Algebraic Geometry Techniques
by: Edgar González Fernández, et al.
Published: (2020-01-01)

Hopf and Lie algebras in semi-additive Varieties
by: Hans-E. Porst
Published: (2017-05-01)

Semi-simple lie algebras and their representations/
by: 249806 Cahn, Robert N.
Published: (1984)

Semi-integration of certain algebraic expressions
by: M.I. Qureshi, et al.
Published: (2022-03-01)

Characterization of Almost Semi-Heyting Algebra
by: Srikanth V.V.V.S.S.P.S., et al.
Published: (2020-12-01)

Semi-integration of certain algebraic expressions
by: M.I. Qureshi, et al.
Published: (2022-03-01)

ON SEMI MAXIMAL FILTERS IN BL-ALGEBRAS
by: Akbar Paad, et al.
Published: (2019-01-01)

Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
by: Petr Jancar
Published: (2013-03-01)

Modified algebraic Bethe ansatz for XXZ chain on the segment – III – Proof
by: J. Avan, et al.
Published: (2015-10-01)

Partially ordered rings and semi-algebraic geometry/
by: 310509 Brumfiel, Gregory W.
Published: (1979)

Classification theory of semi-simple algebraic groups/
by: 177870 Satake, Ichiro
Published: (1971)