Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsc/AbbottBPR20,
  author       = {John Abbott and
                  Anna Maria Bigatti and
                  Elisa Palezzato and
                  Lorenzo Robbiano},
  title        = {Computing and using minimal polynomials},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {137--163},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.022},
  doi          = {10.1016/J.JSC.2019.07.022},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/AbbottBPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BrightKG20,
  author       = {Curtis Bright and
                  Ilias S. Kotsireas and
                  Vijay Ganesh},
  title        = {Applying computer algebra systems with {SAT} solvers to the Williamson
                  conjecture},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {187--209},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.024},
  doi          = {10.1016/J.JSC.2019.07.024},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/BrightKG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BrombergerSW20,
  author       = {Martin Bromberger and
                  Thomas Sturm and
                  Christoph Weidenbach},
  title        = {A complete and terminating approach to linear integer solving},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {102--136},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.021},
  doi          = {10.1016/J.JSC.2019.07.021},
  timestamp    = {Tue, 07 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/BrombergerSW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BrownV20,
  author       = {Christopher W. Brown and
                  Fernando Vale{-}Enriquez},
  title        = {From simplification to a partial theory solver for non-linear real
                  polynomial constraints},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {72--101},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.020},
  doi          = {10.1016/J.JSC.2019.07.020},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/BrownV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/DavenportEGST20,
  author       = {James H. Davenport and
                  Matthew England and
                  Alberto Griggio and
                  Thomas Sturm and
                  Cesare Tinelli},
  title        = {Symbolic computation and satisfiability checking},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {1--10},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.017},
  doi          = {10.1016/J.JSC.2019.07.017},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/DavenportEGST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/EnglandBD20,
  author       = {Matthew England and
                  Russell J. Bradford and
                  James H. Davenport},
  title        = {Cylindrical algebraic decomposition with equational constraints},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {38--71},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.019},
  doi          = {10.1016/J.JSC.2019.07.019},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/EnglandBD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/HoracekK20,
  author       = {Jan Hor{\'{a}}cek and
                  Martin Kreuzer},
  title        = {On conversions from {CNF} to {ANF}},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {164--186},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.023},
  doi          = {10.1016/J.JSC.2019.07.023},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/HoracekK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/KremerA20,
  author       = {Gereon Kremer and
                  Erika {\'{A}}brah{\'{a}}m},
  title        = {Fully incremental cylindrical algebraic decomposition},
  journal      = {J. Symb. Comput.},
  volume       = {100},
  pages        = {11--37},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jsc.2019.07.018},
  doi          = {10.1016/J.JSC.2019.07.018},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/KremerA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}