Resultados de 1 a 10 de 711 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Mathematics in Computer Science
| 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 |
Resultados de 1 a 10 de 711 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Mathematics (638)
- Computer Science (626)
- Mathematics And Statistics (617)
- Mathematics, Applied (581)
- Physical Sciences (581)
- Science & Technology (581)
- Algorithms (68)
- Polynomials (60)
- Computer Algebra (55)
- Mathematical Analysis (46)
- Symbolic Computation (32)
- Algebra (26)
- Computation (25)
- Differential Equations (24)
- Software (18)
- Computational Mathematics (17)
- Gröbner Basis (15)
- Applied Mathematics (14)
- Computational Theory And Mathematics (14)
- Dynamical Systems (12)
-
Mais opções
Data de Publicação
- Antes de2009 (64)
- 2009Até2011 (130)
- 2012Até2014 (107)
- 2015Até2018 (168)
- Após 2018 (243)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 