Mathematics in Computer Science 4/2016 | springerprofessional.de

Springer Professional

nach oben

Mathematics in Computer Science

Inhalt (4 Artikel)

A Survey on Retrieval of Mathematical Knowledge

Ferruccio Guidi, Claudio Sacerdoti Coen

Open Access

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Semantic Spaces

Yuri I. Manin, Matilde Marcolli

On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

Dongming Wang

Ausgabe: 3/2016

Special Focus on Advances in Symbolic and Numeric Computation

Ausgabe: 1/2017

Anzeige

Aktuelle Ausgaben

Mathematics in Computer Science 1/2024
Mathematics in Computer Science 3-4/2023
Special Issue on Computer Algebra in Scientific Computing (CASC 2022)
Mathematics in Computer Science 2/2023
Special Issue of ESCO 2022
Mathematics in Computer Science 1/2023
Special Issue in ACA 2021
Mathematics in Computer Science 4/2022
Special Issue in Honor of Vladimir Gerdt
Mathematics in Computer Science 3/2022
Mathematics in Computer Science 2-3/2022
Special Issue on Computer Algebra in Scientific Computing (CASC 2021)
Mathematics in Computer Science 2/2022
Mathematics in Computer Science 1/2022
Special Focus on Advances in Symbolic and Numeric Computation IV
Mathematics in Computer Science 4/2021

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024