SC-Square@SIAM AG

Keyphrases

Publications

volume 3273, 2022

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. SC-Square@SIAM AG 3273 (2022)

2021

Matthew England
SC-Square: Future Progress with Machine Learning? (invited paper). SC-Square@SIAM AG (2021)
Akshar S. Nair, James H. Davenport, Gregory Sankaran
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). SC-Square@SIAM AG (2021)
Vijay Ganesh
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). SC-Square@SIAM AG (2021)
James H. Davenport, Zak Tonks, Ali Kemal Uncu
Practical Evaluation of Quantifier Elimination Methods (short paper). SC-Square@SIAM AG (2021)
Michela Ceria, Samuel Lundqvist, Ferdinando Mora
Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper). SC-Square@SIAM AG (2021)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). SC-Square@SIAM AG (2021)
Matthew England
SC-Square: Overview to 2021 (invited paper). SC-Square@SIAM AG (2021)
James H. Davenport
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. SC-Square@SIAM AG (2021)