×

Found 6 Documents (Results 1–6)

Nullstellensatz size-degree trade-offs from reversible pebbling. (English) Zbl 1522.03320

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 18, 16 p. (2019).
MSC:  03F20 13P25 68Q25
PDFBibTeX XMLCite
Full Text: DOI

The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs. (English) Zbl 1491.03077

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 11, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Decidability of univariate real algebra with predicates for rational and integer powers. (English) Zbl 1465.03048

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 181-196 (2015).
MSC:  03B25 03B35 13J30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software