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
|
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 |
|
5 |
Material Type: Artigo
|
The Number of Boundary Conditions for Initial Boundary Value ProblemsNordström, Jan ; Hagstrom, Thomas M.SIAM journal on numerical analysis, 2020-01, Vol.58 (5), p.2818-2828 [Periódico revisado por pares]Sem texto completo |
|
6 |
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 |
|
7 |
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 |
|
8 |
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 |
|
9 |
Material Type: Artigo
|
A stable high-order finite difference scheme for the compressible Navier-Stokes equations No-slip wall boundary conditionsSvard, Magnus ; Nordstrom, JanJournal of computational physics, 2008-05, Vol.227 (10), p.4805-4824 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
|
10 |
Material Type: Artigo
|
Fully discrete energy stable high order finite difference methods for hyperbolic problems in deforming domainsNikkar, Samira ; Nordström, JanJournal of computational physics, 2015, Vol.291, p.82-98 [Periódico revisado por pares]Texto completo disponível |