skip to main content
Language:
Results 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:
Book 		Add to e-Shelf

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

Available at IME - Inst. Matemática e Estatística    (QA9.55 N832p )(GetIt)

2
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Book 		Add to e-Shelf

Types for Proofs and Programs

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

Springer Berlin / Heidelberg 2000

Online access

3
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Book 		Add to e-Shelf

Types for Proofs and Programs

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

Springer Berlin Heidelberg 1995

Online access

4
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:
Article 		Add to e-Shelf

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 [Peer Reviewed Journal]

Full text available

Citations Cited by
5
A skew-symmetric energy stable almost dissipation free formulation of the compressible Navier-Stokes equations
A skew-symmetric energy stable almost dissipation free formulation of the compressible Navier-Stokes equations
Material Type:
Article 		Add to e-Shelf

A skew-symmetric energy stable almost dissipation free formulation of the compressible Navier-Stokes equations

Nordström, Jan

Journal of computational physics, 2024-09, Vol.512, p.113145, Article 113145 [Peer Reviewed Journal]

Elsevier Inc

Full text available

Citations Cited by
6
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:
Article 		Add to e-Shelf

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 [Peer Reviewed Journal]

Elsevier Inc

Full text available

Citations Cited by
7
Uncertain data in initial boundary value problems: Impact on short and long time predictions
Uncertain data in initial boundary value problems: Impact on short and long time predictions
Material Type:
Article 		Add to e-Shelf

Uncertain data in initial boundary value problems: Impact on short and long time predictions

Nordström, Jan

Journal of computational physics, 2024-05, Vol.505, p.112891, Article 112891 [Peer Reviewed Journal]

Elsevier Inc

Full text available

Citations Cited by
8
Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?
Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?
Material Type:
Article 		Add to e-Shelf

Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?

Nordström, Jan

Journal of computational physics, 2022-04, Vol.455, p.111001, Article 111001 [Peer Reviewed Journal]

Cambridge: Elsevier Inc

Full text available

Citations Cited by
9
A Roadmap to Well Posed and Stable Problems in Computational Physics
A Roadmap to Well Posed and Stable Problems in Computational Physics
Material Type:
Article 		Add to e-Shelf

A Roadmap to Well Posed and Stable Problems in Computational Physics

Nordström, Jan

Journal of scientific computing, 2017-04, Vol.71 (1), p.365-385 [Peer Reviewed Journal]

New York: Springer US

Full text available

Citations Cited by
10
Review of summation-by-parts schemes for initial–boundary-value problems
Review of summation-by-parts schemes for initial–boundary-value problems
Material Type:
Article 		Add to e-Shelf

Review of summation-by-parts schemes for initial–boundary-value problems

Svard, Magnus ; Nordstrom, Jan

Journal of computational physics, 2014-07, Vol.268, p.17-38 [Peer Reviewed Journal]

Elsevier Inc

Full text available

Citations Cited by
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Articles  (429)
  2. Reports  (64)
  3. Book Chapters  (46)
  4. Conference Proceedings  (34)
  5. Datasets  (9)
  6. Books  (8)
  7. Dissertations  (8)
  8. Videos  (4)
  9. magazinearticle  (2)
  10. Reviews  (2)
  11. Images  (1)
  12. Reference Entries  (1)
  13. More options open sub menu

Creation Date 

From To
Refine
  1. Before1989  (9)
  2. 1989To1996  (31)
  3. 1997To2004  (99)
  4. 2005To2013  (176)
  5. After 2013  (316)
  6. More options open sub menu

Language 

  1. English  (598)
  2. Japanese  (33)
  3. Norwegian  (7)
  4. Bokmål, Norwegian  (3)
  5. Swedish  (2)
  6. French  (1)
  7. Danish  (1)
  8. Spanish  (1)
  9. Finnish  (1)
  10. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

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

on this subject:

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

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far