Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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) |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Types for Proofs and ProgramsTYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan SmithSpringer Berlin / Heidelberg 2000Acesso online |
|
5 |
Material Type: Livro
|
Types for Proofs and ProgramsInternational Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M SmithSpringer Berlin Heidelberg 1995Acesso online |
|
6 |
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 |
|
7 |
Material Type: Artigo
|
On the convergence rates of energy-stable finite-difference schemesSvärd, Magnus ; Nordström, JanJournal of computational physics, 2019-11, Vol.397, p.108819, Article 108819 [Periódico revisado por pares]Cambridge: Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
A new variational discretization technique for initial value problems bypassing governing equationsRothkopf, Alexander ; Nordström, JanJournal of computational physics, 2023-03, Vol.477, p.111942, Article 111942 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
9 |
Material Type: Artigo
|
Summation-by-parts in timeNordström, Jan ; Lundquist, TomasJournal of computational physics, 2013-10, Vol.251, p.487-499 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
10 |
Material Type: Artigo
|
A superconvergent stencil-adaptive SBP-SAT finite difference schemeLinders, Viktor ; Carpenter, Mark H. ; Nordström, JanJournal of computational physics, 2024-03, Vol.501, p.112794, Article 112794 [Periódico revisado por pares]Elsevier IncTexto completo disponível |