Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A symmetry and Noether charge preserving discretization of initial value problemsRothkopf, Alexander ; Nordström, JanJournal of computational physics, 2024-02, Vol.498, p.112652, Article 112652 [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
|
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 |
|
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 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 |
|
7 |
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 |
|
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
|
Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditionsFisher, Travis C. ; Carpenter, Mark H. ; Nordström, Jan ; Yamaleev, Nail K. ; Swanson, CharlesJournal of computational physics, 2013-02, Vol.234, p.353-375 [Periódico revisado por pares]Kidlington: Elsevier IncTexto completo disponível |