Special Issue
Journal of Symbolic Computation
Year : 2020
Thomas Sturm : Connect in order to contact the contributor
https://hal.science/hal-03142461
Submitted on : Tuesday, February 16, 2021-9:18:37 AM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
Identifiers
- HAL Id : hal-03142461 , version 1
Cite
James Harold Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking. Journal of Symbolic Computation, 100, Elsevier, 2020. ⟨hal-03142461⟩
33
View
0
Download