Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsc/BesierF21,
  author       = {Marco Besier and
                  Dino Festi},
  title        = {Rationalizability of square roots},
  journal      = {J. Symb. Comput.},
  volume       = {106},
  pages        = {48--67},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jsc.2020.12.002},
  doi          = {10.1016/J.JSC.2020.12.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/BesierF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/DunduaKM21,
  author       = {Besik Dundua and
                  Temur Kutsia and
                  Mircea Marin},
  title        = {Variadic equational matching in associative and commutative theories},
  journal      = {J. Symb. Comput.},
  volume       = {106},
  pages        = {78--109},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jsc.2021.01.001},
  doi          = {10.1016/J.JSC.2021.01.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/DunduaKM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/EickG21,
  author       = {Bettina Eick and
                  Taleea Jalaeeyan Ghorbanzadeh},
  title        = {Computing the Schur multipliers of the Lie \emph{p}-rings in the family
                  defined by a symbolic Lie \emph{p}-ring presentation},
  journal      = {J. Symb. Comput.},
  volume       = {106},
  pages        = {68--77},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jsc.2020.12.003},
  doi          = {10.1016/J.JSC.2020.12.003},
  timestamp    = {Thu, 18 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/EickG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/HashemiHPS21,
  author       = {Amir Hashemi and
                  Joos Heintz and
                  Luis M. Pardo and
                  Pablo Solern{\'{o}}},
  title        = {On B{\'{e}}zout inequalities for non-homogeneous polynomial ideals},
  journal      = {J. Symb. Comput.},
  volume       = {106},
  pages        = {1--22},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jsc.2020.11.003},
  doi          = {10.1016/J.JSC.2020.11.003},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/HashemiHPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Maletzky21,
  author       = {Alexander Maletzky},
  title        = {A generic and executable formalization of signature-based Gr{\"{o}}bner
                  basis algorithms},
  journal      = {J. Symb. Comput.},
  volume       = {106},
  pages        = {23--47},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jsc.2020.12.001},
  doi          = {10.1016/J.JSC.2020.12.001},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/Maletzky21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}