Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsc/BardetFS15,
  author       = {Magali Bardet and
                  Jean{-}Charles Faug{\`{e}}re and
                  Bruno Salvy},
  title        = {On the complexity of the {F5} Gr{\"{o}}bner basis algorithm},
  journal      = {J. Symb. Comput.},
  volume       = {70},
  pages        = {49--70},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jsc.2014.09.025},
  doi          = {10.1016/J.JSC.2014.09.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BardetFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BenitezD15,
  author       = {Teresa Cortadellas Ben{\'{\i}}tez and
                  Carlos D'Andrea},
  title        = {The Rees Algebra of a monomial plane parametrization},
  journal      = {J. Symb. Comput.},
  volume       = {70},
  pages        = {71--105},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jsc.2014.09.026},
  doi          = {10.1016/J.JSC.2014.09.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BenitezD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BrownK15,
  author       = {Christopher W. Brown and
                  Marek Kosta},
  title        = {Constructing a single cell in cylindrical algebraic decomposition},
  journal      = {J. Symb. Comput.},
  volume       = {70},
  pages        = {14--48},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jsc.2014.09.024},
  doi          = {10.1016/J.JSC.2014.09.024},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/BrownK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Collins15,
  author       = {George E. Collins},
  title        = {Krandick's proof of Lagrange's real root bound claim},
  journal      = {J. Symb. Comput.},
  volume       = {70},
  pages        = {106--111},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jsc.2014.09.038},
  doi          = {10.1016/J.JSC.2014.09.038},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Collins15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/HongTX15,
  author       = {Hoon Hong and
                  Xiaoxian Tang and
                  Bican Xia},
  title        = {Special algorithm for stability analysis of multistable biological
                  regulatory systems},
  journal      = {J. Symb. Comput.},
  volume       = {70},
  pages        = {112--135},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jsc.2014.09.039},
  doi          = {10.1016/J.JSC.2014.09.039},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/HongTX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Pozar15,
  author       = {Rok Pozar},
  title        = {Some computational aspects of solvable regular covers of graphs},
  journal      = {J. Symb. Comput.},
  volume       = {70},
  pages        = {1--13},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jsc.2014.09.023},
  doi          = {10.1016/J.JSC.2014.09.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Pozar15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}