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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Curtis Bright, James H. Davenport, editors, 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. Volume 3273 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Conference: scsquare2022

Abstract is missing.

SC-Square: Overview to 2021 (invited paper)Matthew England 0001. 1-6 [doi]

SC-Square: Future Progress with Machine Learning? (invited paper)Matthew England 0001. 7-16 [doi]

Logic Solvers and Machine Learning: The Next Frontier (keynote abstract)Vijay Ganesh. 17 [doi]

Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper)Bernard Boigelot, Pascal Fontaine, Baptiste Vergain. 18-26 [doi]

Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper)Michela Ceria, Samuel Lundqvist, Ferdinando Mora. 27-30 [doi]

Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic DecompositionJames H. Davenport. 31-40 [doi]

Practical Evaluation of Quantifier Elimination Methods (short paper)James H. Davenport, Zak Tonks, Ali Kemal Uncu. 41-49 [doi]

Equational Constraints, the Lazard Projection and the Curtain Problem (short paper)Akshar S. Nair, James H. Davenport, Gregory Sankaran. 50-58 [doi]

runs on WebDSL