Computer Algebra in Scientific Computing 2020

Matthew England; François Boulier; Timur Sadykov; Thomas Sturm

N°Spécial De Revue/Special Issue Mathematics in Computer Science Année : 2021

Computer Algebra in Scientific Computing 2020

(1) , (2) , (3) , (4, 5, 6, 7, 8)

1
2
3
4
5
6
7
8

Matthew England

Fonction : Auteur

Coventry University

François Boulier

Fonction : Auteur

Université de Lille

Timur Sadykov

Fonction : Auteur

Plekhanov Russian University of Economics [Moscow]

Thomas Sturm

Fonction : Auteur
PersonId : 739828
IdHAL : thomas-sturm
ORCID : 0000-0002-8088-340X
IdRef : 154039659

Centre National de la Recherche Scientifique

Modeling and Verification of Distributed Algorithms and Systems

Proof-oriented development of computer-based systems

Max-Planck-Institut für Informatik

Saarland University [Saarbrücken]

Domaines

Calcul formel [cs.SC]

Thomas Sturm : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03438922

Soumis le : lundi 22 novembre 2021-09:27:31

Dernière modification le : vendredi 16 février 2024-11:12:07

Dates et versions

hal-03438922 , version 1 (22-11-2021)

Identifiants

HAL Id : hal-03438922 , version 1

Citer

Matthew England, François Boulier, Timur Sadykov, Thomas Sturm. Computer Algebra in Scientific Computing 2020. Mathematics in Computer Science, 15 (3), 2021. ⟨hal-03438922⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM UNIV-LILLE

21 Consultations

0 Téléchargements

Computer Algebra in Scientific Computing 2020

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager