skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming in Martin-Löf's type theory an introduction
Programming in Martin-Löf's type theory an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

2
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

TYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Springer Berlin / Heidelberg 2000

Acesso online

3
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

International Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M Smith

Springer Berlin Heidelberg 1995

Acesso online

4
A symmetry and Noether charge preserving discretization of initial value problems
A symmetry and Noether charge preserving discretization of initial value problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A symmetry and Noether charge preserving discretization of initial value problems

Rothkopf, Alexander ; Nordström, Jan

Journal of computational physics, 2024-02, Vol.498, p.112652, Article 112652 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
The Number of Boundary Conditions for Initial Boundary Value Problems
The Number of Boundary Conditions for Initial Boundary Value Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Number of Boundary Conditions for Initial Boundary Value Problems

Nordströ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

Citações Citado por
6
Eigenvalue Analysis for Summation-by-Parts Finite Difference Time Discretizations
Eigenvalue Analysis for Summation-by-Parts Finite Difference Time Discretizations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Eigenvalue Analysis for Summation-by-Parts Finite Difference Time Discretizations

Ruggiu, Andrea Alessandro ; Nordström, Jan

SIAM journal on numerical analysis, 2020-01, Vol.58 (2), p.907-928 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
7
Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditions
Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditions

Fisher, Travis C. ; Carpenter, Mark H. ; Nordström, Jan ; Yamaleev, Nail K. ; Swanson, Charles

Journal of computational physics, 2013-02, Vol.234, p.353-375 [Periódico revisado por pares]

Kidlington: Elsevier Inc

Texto completo disponível

Citações Citado por
8
Fully discrete energy stable high order finite difference methods for hyperbolic problems in deforming domains
Fully discrete energy stable high order finite difference methods for hyperbolic problems in deforming domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fully discrete energy stable high order finite difference methods for hyperbolic problems in deforming domains

Nikkar, Samira ; Nordström, Jan

Journal of computational physics, 2015, Vol.291, p.82-98 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics
Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics

Nordström, Jan

Journal of computational physics, 2024-02, Vol.498, p.112685, Article 112685 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
A skew-symmetric energy and entropy stable formulation of the compressible Euler equations
A skew-symmetric energy and entropy stable formulation of the compressible Euler equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

A skew-symmetric energy and entropy stable formulation of the compressible Euler equations

Nordström, Jan

Journal of computational physics, 2022-12, Vol.470, p.111573, Article 111573 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (424)
  2. Book Chapters  (34)
  3. Anais de Congresso  (29)
  4. Reports  (28)
  5. Livros  (9)
  6. Dissertações  (9)
  7. Videos  (4)
  8. Conjunto de Dados  (3)
  9. magazinearticle  (2)
  10. Resenhas  (2)
  11. Imagens  (1)
  12. Verbetes  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (10)
  2. 1990Até1997  (25)
  3. 1998Até2005  (92)
  4. 2006Até2014  (144)
  5. Após 2014  (285)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nordström, B
  2. Smith, J
  3. Dybjer, P
  4. TYPES '99
  5. Coquand, T

Neste Assunto:

  1. Science & Technology
  2. Physical Sciences
  3. Technology
  4. Computer Science
  5. Mathematics

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.