Sign in
SC-Square@ISSAC
2023
2023
2023
Keyphrases
Publications
2023
Yameen Ajani
,
Curtis Bright
A Hybrid SAT and Lattice Reduction Approach for Integer Factorization.
SC-Square@ISSAC
(2023)
Martin Brain
,
Jacob M. Howe
Widening for Systems of Two Variables Per Inequality.
SC-Square@ISSAC
(2023)
André Platzer
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract).
SC-Square@ISSAC
(2023)
Christopher W. Brown
,
Zoltán Kovács
,
Simone Luksch
,
Tomás Recio
,
Róbert Vajda
,
M. Pilar Vélez
Towards Detection of Partial Truth via Real Geometry.
SC-Square@ISSAC
(2023)
Tereso del Río
,
Matthew England
Data Augmentation for Mathematical Objects.
SC-Square@ISSAC
(2023)
Haniel Barbosa
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper).
SC-Square@ISSAC
(2023)
volume 3455, 2023
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023.
SC-Square@ISSAC
3455 (2023)