default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th SC-Square@SIAM AG 2021: Virtual Event, College Station, USA
- Curtis Bright, James H. Davenport:
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021. CEUR Workshop Proceedings 3273, CEUR-WS.org 2022
Invited Talks
- Matthew England:
SC-Square: Overview to 2021 (invited paper). 1-6 - Matthew England:
SC-Square: Future Progress with Machine Learning? (invited paper). 7-16 - Vijay Ganesh:
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). 17
Contributed Papers
- Bernard Boigelot, Pascal Fontaine, Baptiste Vergain:
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). 18-26 - Michela Ceria, Samuel Lundqvist, Ferdinando Mora:
Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper). 27-30 - James H. Davenport:
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. 31-40 - James H. Davenport, Zak Tonks, Ali Kemal Uncu:
Practical Evaluation of Quantifier Elimination Methods (short paper). 41-49 - Akshar S. Nair, James H. Davenport, Gregory Sankaran:
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). 50-58
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.
last updated on 2024-12-29 01:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
