Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems.

Jean-Charles Faugre, Pierre-Jean Spaenlehauer, Jules Svartz

Browse the full ISSAC paper archive.