Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Programming in Martin-Löf's type theory an introductionBengt Nordström Kent Petersson; Jan M SmithOxford New York Clarendon Press Oxford University Press 1990Localização: IME - Inst. Matemática e Estatística (QA9.55 N832p )(Acessar) |
|
2 |
Material Type: Livro
|
Types for Proofs and ProgramsTYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan SmithSpringer Berlin / Heidelberg 2000Acesso online |
|
3 |
Material Type: Livro
|
Types for Proofs and ProgramsInternational Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M SmithSpringer Berlin Heidelberg 1995Acesso online |
|
4 |
Material Type: Artigo
|
Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamicsNordström, JanJournal of computational physics, 2024-02, Vol.498, p.112685, Article 112685 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Artigo
|
A skew-symmetric energy stable almost dissipation free formulation of the compressible Navier-Stokes equationsNordström, JanJournal of computational physics, 2024-09, Vol.512, p.113145, Article 113145 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
6 |
Material Type: Artigo
|
A skew-symmetric energy and entropy stable formulation of the compressible Euler equationsNordström, JanJournal of computational physics, 2022-12, Vol.470, p.111573, Article 111573 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
7 |
Material Type: Artigo
|
Uncertain data in initial boundary value problems: Impact on short and long time predictionsNordström, JanJournal of computational physics, 2024-05, Vol.505, p.112891, Article 112891 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?Nordström, JanJournal of computational physics, 2022-04, Vol.455, p.111001, Article 111001 [Periódico revisado por pares]Cambridge: Elsevier IncTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Roadmap to Well Posed and Stable Problems in Computational PhysicsNordström, JanJournal of scientific computing, 2017-04, Vol.71 (1), p.365-385 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
10 |
Material Type: Artigo
|
Review of summation-by-parts schemes for initial–boundary-value problemsSvard, Magnus ; Nordstrom, JanJournal of computational physics, 2014-07, Vol.268, p.17-38 [Periódico revisado por pares]Elsevier IncTexto completo disponível |