BibTeX record conf/issac/FaugereSS16

• > Home > conf/issac/FaugereSS16

@inproceedings{DBLP:conf/issac/FaugereSS16,
  author       = {Jean{-}Charles Faug{\`{e}}re and
                  Pierre{-}Jean Spaenlehauer and
                  Jules Svartz},
  editor       = {Sergei A. Abramov and
                  Eugene V. Zima and
                  Xiao{-}Shan Gao},
  title        = {Computing Small Certificates of Inconsistency of Quadratic Fewnomial
                  Systems},
  booktitle    = {Proceedings of the {ACM} on International Symposium on Symbolic and
                  Algebraic Computation, {ISSAC} 2016, Waterloo, ON, Canada, July 19-22,
                  2016},
  pages        = {223--230},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2930889.2930927},
  doi          = {10.1145/2930889.2930927},
  timestamp    = {Sun, 25 Oct 2020 22:53:22 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/FaugereSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}