Justus Sagemüller

Justus Sagemüller
Høgskulen på Vestlandet | HVL · Department of Computing, Mathematics and Physics

MS

About

1
Publication
154
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
0
Citations
Introduction
Skills and Expertise
Computational Geometry
Quantum Mechanics
Magnetohydrodynamics
Numerical Algorithms
Finite Volume Method
Additional affiliations
June 2019 - May 2023
Høgskulen på Vestlandet
Høgskulen på Vestlandet
  • Department of Computing, Mathematics and Physics
  • Bergen, Norway
Position
  • PhD Student

Publications

Publication (1)
Figure 1. Example of how a function f : D 1 → R is represented in PCM.
Figure 2. Example of how a function f : D 1 → R is decomposed into a...
Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
Conference Paper
Full-text available
  • Aug 2019
Vectors in numerical computation, i.e., arrays of numbers, often represent continuous functions. We would like to reflect this with types. One apparent obstacle is that spaces of functions are typically infinite-dimensional, while the code must run in finite time and memory. We argue that this can be overcome: even in an infinite-dimensional space,...