Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/scsquare/AjaniB23,
  author       = {Yameen Ajani and
                  Curtis Bright},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {A Hybrid {SAT} and Lattice Reduction Approach for Integer Factorization},
  booktitle    = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  pages        = {39--43},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455/short1.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/AjaniB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/Barbosa23,
  author       = {Haniel Barbosa},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {Challenges in {SMT} Proof Production and Checking for Arithmetic Reasoning
                  (Invited Paper)},
  booktitle    = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  pages        = {1--9},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455/invited1.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/Barbosa23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/BrainH23,
  author       = {Martin Brain and
                  Jacob M. Howe},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {Widening for Systems of Two Variables Per Inequality},
  booktitle    = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  pages        = {11--28},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455/paper1.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/BrainH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/BrownKLRVV23,
  author       = {Christopher W. Brown and
                  Zolt{\'{a}}n Kov{\'{a}}cs and
                  Simone Luksch and
                  Tom{\'{a}}s Recio and
                  R{\'{o}}bert Vajda and
                  M. Pilar V{\'{e}}lez},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {Towards Detection of Partial Truth via Real Geometry},
  booktitle    = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  pages        = {44--53},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455/short2.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/BrownKLRVV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/Platzer23,
  author       = {Andr{\'{e}} Platzer},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract)},
  booktitle    = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  pages        = {10},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455/invited2.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/Platzer23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/RioE23,
  author       = {Tereso del R{\'{\i}}o and
                  Matthew England},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {Data Augmentation for Mathematical Objects},
  booktitle    = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  pages        = {29--38},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455/paper2.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/RioE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/scsquare/2023,
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Thomas Sturm},
  title        = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
                  International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
                  2023, Troms{\o}, Norway, July 28, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3455},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3455},
  urn          = {urn:nbn:de:0074-3455-4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}