Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

4th SC-Square@SIAM AG 2019: Bern, Switzerland

> Home > Conferences and Workshops > SC-Square

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/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2019
John Abbott, Alberto Griggio:
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. CEUR Workshop Proceedings 2460, CEUR-WS.org 2019

Part 1: Invited Talk

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/Weber19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Weber19
Andreas Weber:
SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper).

Part 2: contributed papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/ScheiblerETWBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/ScheiblerETWBB19
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer:
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/KremerAG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/KremerAG19
Gereon Kremer, Erika Ábrahám, Vijay Ganesh:
On the Proof Complexity of MCSAT.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/FlorescuE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/FlorescuE19
Dorian Florescu, Matthew England:
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/Tonks19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Tonks19
Zak Tonks:
Evolutionary Virtual Term Substitution in a Quantifier Elimination System.

Part 3: extended abstracts

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/NalbachKA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/NalbachKA19
Jasper Nalbach, Gereon Kremer, Erika Ábrahám:
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/NairDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/NairDS19
Akshar Nair, James H. Davenport, Gregory Sankaran:
On Benefits of Equality Constraints in Lex-Least Invariant CAD.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/IrfanCGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/IrfanCGRS19
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.

a service of

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.