default search action

combined dblp search
author search
venue search
publication search

ask others

8th SC-Square@ISSAC 2023: Tromsø, Norway

> Home > Conferences and Workshops > SC-Square
> Home > Conferences and Workshops > ISSAC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/scsquare/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2023
Erika Ábrahám, Thomas Sturm:
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. CEUR Workshop Proceedings 3455, CEUR-WS.org 2023

Part 1: Invited Contributions

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/Barbosa23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Barbosa23
Haniel Barbosa:
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper). 1-9
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/Platzer23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Platzer23
André Platzer:
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). 10

Part 2: Regular Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/BrainH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/BrainH23
Martin Brain, Jacob M. Howe:
Widening for Systems of Two Variables Per Inequality. 11-28
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/RioE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/RioE23
Tereso del Río, Matthew England:
Data Augmentation for Mathematical Objects. 29-38

Part 3: Short Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/AjaniB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/AjaniB23
Yameen Ajani, Curtis Bright:
A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. 39-43
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/BrownKLRVV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/BrownKLRVV23
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez:
Towards Detection of Partial Truth via Real Geometry. 44-53

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.