Computer Algebra in Scientific Computing 2019
Matthew England
(1)
,
Wolfram Koepf
(2)
,
Timur Sadykov
(3)
,
Werner Seiler
(2)
,
Thomas Sturm
(4, 5, 6, 7, 8)
1
Coventry University
2 University of Kassel
3 PRUE - Plekhanov Russian University of Economics [Moscow]
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]
2 University of Kassel
3 PRUE - Plekhanov Russian University of Economics [Moscow]
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]
Werner Seiler
- Fonction : Auteur
- PersonId : 815433
- ORCID : 0000-0002-0565-1334
- IdRef : 143112430
Thomas Sturm
- Fonction : Auteur
- PersonId : 739828
- IdHAL : thomas-sturm
- ORCID : 0000-0002-8088-340X
- IdRef : 154039659