Special Issue

Matthew England (1) , Wolfram Koepf (2) , Timur M. Sadykov (3) , Werner Seiler (2) , Thomas Sturm (4, 5, 6, 7)

1 School of Computing, Electronics and Mathematics [Coventry]
2 Institut für Mathematik [Kassel]
3 PRUE - Plekhanov Russian University of Economics [Moscow]
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
5 MOSEL - Proof-oriented development of computer-based systems
6 MPII - Max-Planck-Institut für Informatik
7 Universität des Saarlandes [Saarbrücken]

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

Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner Seiler, Thomas Sturm. Special Issue: Proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing (CASC 2019). Aug 2019, Moscow, Russia. Mathematics in Computer Science, 2021. ⟨hal-03142481⟩