Tim Richter

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Extensional equality preservation and verified generic programming
Journal of Functional Programming
2021-12-27Paper
Simulating linear kinematic features in viscous-plastic sea ice models on quadrilateral and triangular grids2021-03-07Paper
Circular stationary solutions in two-dimensional neural fields
Biological Cybernetics
2004-12-02Paper
Lech inequalities for deformations of singularities defined by power products of degree 2
Beiträge zur Algebra und Geometrie
2002-08-20Paper
Lech inequalities for deformations of singularities defined by power products of degree 2
Beiträge zur Algebra und Geometrie
2002-08-20Paper


Research outcomes over time


This page was built for person: Tim Richter