![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/scsquare/scsquare2023.bht:"
@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} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.