BibTeX record journals/jsc/Kovacs0RV24

• > Home > journals/jsc/Kovacs0RV24

@article{DBLP:journals/jsc/Kovacs0RV24,
  author       = {Zolt{\'{a}}n Kov{\'{a}}cs and
                  Christopher W. Brown and
                  Tom{\'{a}}s Recio and
                  R{\'{o}}bert Vajda},
  title        = {Computing with Tarski formulas and semi-algebraic sets in a web browser},
  journal      = {J. Symb. Comput.},
  volume       = {120},
  pages        = {102235},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jsc.2023.102235},
  doi          = {10.1016/J.JSC.2023.102235},
  timestamp    = {Sun, 06 Aug 2023 20:50:56 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/Kovacs0RV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}