×

Found 13 Documents (Results 1–13)

Graph-coloring ideals: Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases. (English) Zbl 1345.68154

Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 133-140 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Hilbert’s Nullstellensatz and an algorithm for proving combinatorial infeasibility. (English) Zbl 1297.05229

Jeffrey, David J. (ed.), Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-904-3). 197-206 (2008).
MSC:  05C85 13P15 05C15
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software