Special Issue : Symbolic Computation and Satisfiability Checking

James Harold Davenport (1) , Matthew England (2) , Alberto Griggio (3) , Thomas Sturm (4, 5, 6, 7, 8) , Cesare Tinelli (9)

1 Department of Computer Science [Bath]
2 Faculty of Engineering, Environment and Computing [Coventry]
3 FBK - Fondazione Bruno Kessler [Trento, Italy]
4 CNRS - Centre National de la Recherche Scientifique
5 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
6 MOSEL - Proof-oriented development of computer-based systems
7 MPII - Max-Planck-Institut für Informatik
8 Saarland University [Saarbrücken]
9 University of Iowa [Iowa City]

Mots clés: Satisfiability checking; Community integration; Symbolic computation

Domaines: Calcul formel [cs.SC]; Logique en informatique [cs.LO]; Géométrie algébrique [math.AG]

James Harold Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking. Journal of Symbolic Computation, 100, 2020. ⟨hal-03142461⟩