Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Foreword - Mathematics in Computer ScienceDavenport, James H. ; Kovacs, Laura ; Zaharie, DanielaMathematics in computer science, 2019, Vol.13 (4), p.459 [Periódico revisado por pares]Texto completo disponível |
|
2 |
Material Type: Artigo
|
Mathematics in Computer Science: After 10 YearsKotsireas, Ilias S.Mathematics in computer science, 2017-03, Vol.11 (1), p.1-6 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Artigo
|
Foreword to the Special Focus on Formal Proofs for Mathematics and Computer ScienceThéry, Laurent ; Wiedijk, FreekMathematics in computer science, 2015-03, Vol.9 (1), p.1-3 [Periódico revisado por pares]Basel: Springer BaselTexto completo disponível |
|
4 |
Material Type: Artigo
|
Coquelicot: A User-Friendly Library of Real Analysis for CoqBoldo, Sylvie ; Lelay, Catherine ; Melquiond, GuillaumeMathematics in computer science, 2015-03, Vol.9 (1), p.41-62 [Periódico revisado por pares]Basel: Springer BaselTexto completo disponível |
|
5 |
Material Type: Artigo
|
Vladimir Gerdt: A Computer Algebra EnthusiastBuchberger, BrunoMathematics in computer science, 2022-12, Vol.16 (4), Article 27 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Artigo
|
Design of Low-Artifact Interpolation Kernels by Means of Computer AlgebraKarpov, PeterMathematics in computer science, 2022-09, Vol.16 (2-3), Article 19 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Artigo
|
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer AlgebraSchneider, CarstenMathematics in computer science, 2021-12, Vol.15 (4), p.577-588 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Artigo
|
Foreword, with a Dedication to Vladimir GerdtEngland, Matthew ; Boulier, François ; Sadykov, Timur ; Sturm, ThomasMathematics in computer science, 2021-09, Vol.15 (3), p.369-371 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Artigo
|
Algorithmic Reduction of Biological Networks with Multiple Time ScalesKruff, Niclas ; Lüders, Christoph ; Radulescu, Ovidiu ; Sturm, Thomas ; Walcher, SebastianMathematics in computer science, 2021-09, Vol.15 (3), p.499-534 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Artigo
|
Using Fractals and Turtle Geometry to Visually Explain the Spread of a Virus to Kids: A STEM Multitarget ActivityRoanes-Lozano, Eugenio ; Solano-Macías, CarmenMathematics in computer science, 2021, Vol.15 (4), p.689-699 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |