Special Issue : Symbolic Computation and Satisfiability Checking - Archive ouverte HAL
N°Spécial De Revue/Special Issue Journal of Symbolic Computation Année : 2020

Special Issue : Symbolic Computation and Satisfiability Checking

Domaines

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

Thomas Sturm  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03142461

Soumis le : mardi 16 février 2021-09:18:37

Dernière modification le : jeudi 5 décembre 2024-14:12:05

Fichier non déposé

Dates et versions

hal-03142461 , version 1 (16-02-2021)

Identifiants

  • HAL Id : hal-03142461 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
52 Consultations
0 Téléchargements

Partager

More