Search results for "nullstellensatz"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Russell Impagliazzo, Nathan Segerlind	Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Modular counting axioms, Nullstellensatz refutations, propositional proof complexity
90	Juan Sabia, Pablo Solernó	Bounds for traces in complete intersections and degrees in the Nullstellensatz.	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	Complete intersection polynomial ideals, Bezout’s inequality, Effective Nullstellensatz, Bertini’s theorem, Trace theory
69	Jesús A. De Loera, Jon Lee 0001, Peter N. Malkin, Susan Margulies	Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.	ISSAC	2008	DBLP DOI BibTeX RDF	nullstellensatz
69	Nobuyuki Sakamoto, Kazuyuki Tanaka	The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Second order arithmetic, Algebraically closed fields, Hilberts Nullstellensatz, Reverse mathematics, Real closed fields
69	Dima Grigoriev	Tseitin's Tautologies and Lower Bounds for Nullstellensatz Proofs.	FOCS	1998	DBLP DOI BibTeX RDF	Nullstellensatz proofs, Tseitin's tautologies, lower bounds, expander
69	Teresa Krick, Juan Sabia, Pablo Solernó	On Intrinsic Bounds in the Nullstellensatz.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	complete intersection polynomial ideals, effective Nullstellensatz, geometric degree, trace theory
65	Russell Impagliazzo, Nathan Segerlind	Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.	ICALP	2002	DBLP DOI BibTeX RDF
62	Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi	Homogenization and the polynomial calculus.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68Q17
62	Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi	Homogenization and the Polynominal Calculus.	ICALP	2000	DBLP DOI BibTeX RDF
49	Paul Beame, Russell Impagliazzo, Jan Krajícek, Toniann Pitassi, Pavel Pudlák	Lower Bound on Hilbert's Nullstellensatz and propositional proofs	FOCS	1994	DBLP DOI BibTeX RDF	propositional formulas, Hilbert's Nullstellensatz, propositional proofs, modular counting principle, fixed cardinality, algebraic equations
46	John F. Canny, Ioannis Z. Emiris	A subdivision-based algorithm for the sparse resultant.	J. ACM	2000	DBLP DOI BibTeX RDF	Newton polytope, effective Nullstellensatz, mixed volume, multivariate resultant, polyhedral subdivision, sparse elimination theory, asymptotic complexity
44	Søren Riis	On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.	LICS	2008	DBLP DOI BibTeX RDF	Algebraic proof complexity, predicate logic, Propositional proof complexity
25	W. Dale Brownawell, Chee-Keng Yap	Lower bounds for zero-dimensional projections.	ISSAC	2009	DBLP DOI BibTeX RDF	chow forms, exact numerical algorithms, nullstellensatz, transcendence theory, zero bounds, exact geometric computation
25	Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi	Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract).	CCC	1999	DBLP DOI BibTeX RDF	counting principles, graph tautologies, algebraic proof systems, binomial proofs, Nullstellensatz proofs, polynomial calculus proofs, propositional logic, Proof complexity
24	Sravanthi Chede, Leroy Chew, Balesh Kumar, Anil Shukla	Understanding Nullstellensatz for QBFs.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
24	Jan Krajícek	Extended Nullstellensatz proof systems.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
24	Jan Krajícek	Extended Nullstellensatz proof systems.	CoRR	2023	DBLP DOI BibTeX RDF
24	Massimo Lauria, Jakob Nordström	Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases.	CoRR	2023	DBLP DOI BibTeX RDF
24	Guy Moshkovitz, Jeffery Yu	Sharp Effective Finite-Field Nullstellensatz.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
24	Thomas Honold, Uwe Schauz	Transformation invariance in the Combinatorial Nullstellensatz and nowhere-zero points of non-singular matrices.	Discret. Math.	2023	DBLP DOI BibTeX RDF
24	Fan Yang 0085, Yue Wang 0050, Jian-Liang Wu	4-choosability of planar graphs with 4-cycles far apart via the Combinatorial Nullstellensatz.	Discret. Math.	2023	DBLP DOI BibTeX RDF
24	Jonas Conneryd, Susanna F. de Rezende, Jakob Nordström, Shuo Pang, Kilian Risse	Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz.	FOCS	2023	DBLP DOI BibTeX RDF
24	Marianne Akian, Antoine Béreau, Stéphane Gaubert	The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems.	ISSAC	2023	DBLP DOI BibTeX RDF
24	Oliver Janzer, Zoltán Lóránt Nagy	Coloring linear hypergraphs: the Erdős-Faber-Lovász conjecture and the Combinatorial Nullstellensatz.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
24	Richard M. Low, Dan Roberts	Constructing integer-magic graphs via the Combinatorial Nullstellensatz.	Art Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
24	Aaron Potechin, Aaron Zhang	Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle.	CoRR	2022	DBLP DOI BibTeX RDF
24	Ilario Bonacina, Maria Luisa Bonet	On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.	LICS	2022	DBLP DOI BibTeX RDF
24	Susanna F. de Rezende, Or Meir, Jakob Nordström, Robert Robere	Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.	Comput. Complex.	2021	DBLP DOI BibTeX RDF
24	Ilario Bonacina, Maria Luisa Bonet	On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
24	Guy Moshkovitz, Jeffery Yu	Sharp Effective Finite-Field Nullstellensatz.	CoRR	2021	DBLP BibTeX RDF
24	Dima Grigoriev, Vladimir V. Podolskii	Tropical Combinatorial Nullstellensatz and Sparse Polynomials.	Found. Comput. Math.	2020	DBLP DOI BibTeX RDF
24	Gantsooj Batzaya, Gombodorj Bayarmagnai	A generalized Combinatorial Nullstellensatz for multisets.	Eur. J. Comb.	2020	DBLP DOI BibTeX RDF
24	Or Meir, Jakob Nordström, Robert Robere, Susanna F. de Rezende	Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
24	Susanna F. de Rezende, Or Meir, Jakob Nordström, Robert Robere	Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.	CoRR	2020	DBLP BibTeX RDF
24	Abhibhav Garg, Nitin Saxena 0001	Special-case Algorithms for Blackbox Radical Membership, Nullstellensatz and Transcendence Degree.	CoRR	2020	DBLP BibTeX RDF
24	Hemanshu Kaul, Jeffrey A. Mudrock	Combinatorial Nullstellensatz and DP-coloring of graphs.	Discret. Math.	2020	DBLP DOI BibTeX RDF
24	Daniela Kaufmann, Armin Biere	Nullstellensatz-Proofs for Multiplier Verification.	CASC	2020	DBLP DOI BibTeX RDF
24	Abhibhav Garg, Nitin Saxena 0001	Special-case algorithms for blackbox radical membership, nullstellensatz and transcendence degree.	ISSAC	2020	DBLP DOI BibTeX RDF
24	J. Cimpric	A nullstellensatz for linear partial differential equations with polynomial coefficients.	Multidimens. Syst. Signal Process.	2019	DBLP DOI BibTeX RDF
24	Alexander Maletzky	Hilbert's Nullstellensatz.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
24	Roman N. Karasev	Residues and the Combinatorial Nullstellensatz.	Period. Math. Hung.	2019	DBLP DOI BibTeX RDF
24	Susanna F. de Rezende, Jakob Nordström, Or Meir, Robert Robere	Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.	CCC	2019	DBLP DOI BibTeX RDF
24	Toniann Pitassi, Robert Robere	Lifting nullstellensatz to monotone span programs over any field.	STOC	2018	DBLP DOI BibTeX RDF
24	Toniann Pitassi, Robert Robere	Lifting Nullstellensatz to Monotone Span Programs over Any Field.	Electron. Colloquium Comput. Complex.	2017	DBLP BibTeX RDF
24	Laihao Ding, Guanghui Wang 0002, Jianliang Wu, Jiguo Yu	Neighbor Sum (Set) Distinguishing Total Choosability Via the Combinatorial Nullstellensatz.	Graphs Comb.	2017	DBLP DOI BibTeX RDF
24	Aleksandrs Belovs, Gábor Ivanyos, Youming Qiao, Miklos Santha, Siyi Yang	On the Polynomial Parity Argument Complexity of the Combinatorial Nullstellensatz.	CoRR	2017	DBLP BibTeX RDF
24	Dima Grigoriev, Vladimir V. Podolskii	Tropical Combinatorial Nullstellensatz and Fewnomials Testing.	CoRR	2017	DBLP BibTeX RDF
24	Dima Grigoriev, Vladimir V. Podolskii	Tropical Combinatorial Nullstellensatz and Fewnomials Testing.	FCT	2017	DBLP DOI BibTeX RDF
24	Aleksandrs Belovs, Gábor Ivanyos, Youming Qiao, Miklos Santha, Siyi Yang	On the Polynomial Parity Argument Complexity of the Combinatorial Nullstellensatz.	CCC	2017	DBLP DOI BibTeX RDF
24	Massimo Lauria, Jakob Nordström	Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases.	CCC	2017	DBLP DOI BibTeX RDF
24	Bo Li, Benjamin Lowenstein, Mohamed Omar	Low Degree Nullstellensatz Certificates for 3-Colorability.	Electron. J. Comb.	2016	DBLP DOI BibTeX RDF
24	Alexey Ovchinnikov, Gleb Pogudin, Thieu N. Vo	Effective Differential Nullstellensatz.	CoRR	2016	DBLP BibTeX RDF
24	Jakub Przybylo	Neighbour sum distinguishing total colourings via the Combinatorial Nullstellensatz.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
24	Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi	On generalizing the Nullstellensatz for MV algebras.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
24	Jakub Przybylo, Tsai-Lien Wong	Neighbor Distinguishing Edge Colorings Via the Combinatorial Nullstellensatz Revisited.	J. Graph Theory	2015	DBLP DOI BibTeX RDF
24	Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson	Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases.	ISSAC	2015	DBLP DOI BibTeX RDF
24	László Varga 0002	Combinatorial Nullstellensatz Modulo Prime Powers and the Parity Argument.	Electron. J. Comb.	2014	DBLP DOI BibTeX RDF
24	Éric Balandraud, Benjamin Girard	A nullstellensatz for sequences over Fp.	Comb.	2014	DBLP DOI BibTeX RDF
24	Richard Gustavson, Marina V. Kondratieva, Alexey Ovchinnikov	New effective differential Nullstellensatz.	CoRR	2014	DBLP BibTeX RDF
24	László Varga 0002	Combinatorial Nullstellensatz modulo prime powers and the Parity Argument.	CoRR	2014	DBLP BibTeX RDF
24	Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó	Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients.	J. Complex.	2014	DBLP DOI BibTeX RDF
24	Timothy M. Brauch, André E. Kézdy, Hunter S. Snevily	The Combinatorial Nullstellensatz and DFT on Perfect Matchings in Bipartite Graphs.	Ars Comb.	2014	DBLP BibTeX RDF
24	Jakub Przybylo	Neighbor Distinguishing Edge Colorings via the Combinatorial Nullstellensatz.	SIAM J. Discret. Math.	2013	DBLP DOI BibTeX RDF
24	Quentin Brouette	A nullstellensatz and a positivstellensatz for ordered differential fields.	Math. Log. Q.	2013	DBLP DOI BibTeX RDF
24	Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó	Effective Differential Nullstellensatz for Ordinary DAE Systems over the Complex Numbers	CoRR	2013	DBLP BibTeX RDF
24	Dima Grigoriev	On a tropical dual Nullstellensatz.	Adv. Appl. Math.	2012	DBLP DOI BibTeX RDF
24	Géza Kós, Lajos Rónyai	Alon's Nullstellensatz for multisets.	Comb.	2012	DBLP DOI BibTeX RDF
24	Jesús A. De Loera, Jon Lee 0001, Peter N. Malkin, Susan Margulies	Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
24	Peter Heinig	Proof of the Combinatorial Nullstellensatz over Integral Domains, in the Spirit of Kouba.	Electron. J. Comb.	2010	DBLP DOI BibTeX RDF
24	Uwe Schauz	A Paintability Version of the Combinatorial Nullstellensatz, and List Colorings of k-partite k-uniform Hypergraphs.	Electron. J. Comb.	2010	DBLP DOI BibTeX RDF
24	Michal Lason	A Generalization of Combinatorial Nullstellensatz.	Electron. J. Comb.	2010	DBLP DOI BibTeX RDF
24	Mateusz Michalek	A Short Proof of Combinatorial Nullstellensatz.	Am. Math. Mon.	2010	DBLP DOI BibTeX RDF
24	Dan Hefetz, Annina Saluz, Huong T. T. Tran	An application of the combinatorial Nullstellensatz to a graph labelling problem.	J. Graph Theory	2010	DBLP DOI BibTeX RDF
24	Omran Kouba	A Duality Based Proof of the Combinatorial Nullstellensatz.	Electron. J. Comb.	2009	DBLP DOI BibTeX RDF
24	Jesús A. De Loera, Jon Lee 0001, Susan Margulies, Shmuel Onn	Expressing Combinatorial Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz.	Comb. Probab. Comput.	2009	DBLP DOI BibTeX RDF
24	Søren Riis	On the asymptotic Nullstellensatz and Polynomial Calculus proof complexity.	Electron. Colloquium Comput. Complex.	2009	DBLP BibTeX RDF
24	Zur Izhakian	Tropical Algebraic Sets, Ideals and an Algebraic Nullstellensatz.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
24	Serguei Norine, Tsai-Lien Wong, Xuding Zhu	Circular choosability via combinatorial Nullstellensatz.	J. Graph Theory	2008	DBLP DOI BibTeX RDF
24	Enrique Arrondo	Another Elementary Proof of the Nullstellensatz.	Am. Math. Mon.	2006	DBLP BibTeX RDF
24	Dan Hefetz	Anti-magic graphs via the Combinatorial NullStellenSatz.	J. Graph Theory	2005	DBLP DOI BibTeX RDF
24	Hongqing Zhang	The Applications of Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
24	Russell Impagliazzo, Nathan Segerlind	Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations	CoRR	2003	DBLP BibTeX RDF
24	J. Peter May	Munshi's Proof of the Nullstellensatz.	Am. Math. Mon.	2003	DBLP BibTeX RDF
24	Edoardo Ballico, Antonio Cossidente	Finite field Nullstellensatz and Grassmannians.	Australas. J Comb.	2001	DBLP BibTeX RDF
24	Edoardo Ballico, Antonio Cossidente	On the finite field Nullstellensatz.	Australas. J Comb.	2000	DBLP BibTeX RDF
24	Samuel R. Buss, Toniann Pitassi	Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle.	J. Comput. Syst. Sci.	1998	DBLP DOI BibTeX RDF
24	Eberhard Becker, Joachim Schmid 0002	On the Real Nullstellensatz.	Algorithmic Algebra and Number Theory	1997	DBLP DOI BibTeX RDF
24	Pascal Koiran	Hilbert's Nullstellensatz Is in the Polynomial Hierarchy.	J. Complex.	1996	DBLP DOI BibTeX RDF
24	Samuel R. Buss	Lower bounds on Nullstellensatz proofs via designs.	Proof Complexity and Feasible Arithmetics	1996	DBLP DOI BibTeX RDF
24	Samuel R. Buss, Toniann Pitassi	Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle.	CCC	1996	DBLP DOI BibTeX RDF
24	Thomas Dubé	A Combinatorial Proof of the Effective Nullstellensatz.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
24	Leandro Caniglia, André Galligo, Joos Heintz	Equations for the projective closure and effective Nullstellensatz.	Discret. Appl. Math.	1991	DBLP DOI BibTeX RDF
24	Thomas Dubé	Quantitative analysis of problems in computer algebra: Grobner bases and the Nullstellensatz.		1989	RDF
24	Wendy MacCaull	On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
24	Deepak Kapur	Geometry theorem proving using Hilbert's Nullstellensatz.	SYMSAC	1986	DBLP DOI BibTeX RDF
21	André Platzer, Jan-David Quesel, Philipp Rümmer	Real World Verification.	CADE	2009	DBLP DOI BibTeX RDF	hybrid systems, software verification, decision procedures, Real-closed fields
21	Yaohui Li	Determining the Regularity of Bézier Curve and Surface by Gröbner Bases Method.	CSSE (2)	2008	DBLP DOI BibTeX RDF
21	Stefan S. Dantchev	Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems.	STOC	2007	DBLP DOI BibTeX RDF	Lovász-Schrijver proof system, complexity gap theorems, lift and project methods, lower bounds, propositional proof complexity
21	Hennie Poulisse	Computational communicative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate commutative algebra
21	Josh Buresh-Oppenheim, Tsuyoshi Morioka	Relativized NP Search Problems and Propositional Proof Systems.	CCC	2004	DBLP DOI BibTeX RDF