![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
4th SC-Square@SIAM AG 2019: Bern, Switzerland
- 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
- Andreas Weber:
SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper).
Part 2: contributed papers
- 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. - Gereon Kremer
, Erika Ábrahám, Vijay Ganesh:
On the Proof Complexity of MCSAT. - Dorian Florescu, Matthew England:
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. - Zak Tonks:
Evolutionary Virtual Term Substitution in a Quantifier Elimination System.
Part 3: extended abstracts
- Jasper Nalbach, Gereon Kremer
, Erika Ábrahám:
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. - Akshar Nair, James H. Davenport, Gregory Sankaran:
On Benefits of Equality Constraints in Lex-Least Invariant CAD. - Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
![](https://dblp1.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.