José Grimm

Available identifiers

zbMath Open grimm.joseMaRDI QIDQ1811166

List of research outcomes

Publication	Date of Publication	Type
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers	2019-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3075244	2011-02-10	Paper
Asymptotic estimates for interpolation and constrained approximation in \(H^2\) by diagonalization of Toeplitz operators	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3125541	1997-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4205996	1990-01-01	Paper
Realization and Canonicity for Implicit Systems	1988-01-01	Paper
On polynomial controllability with polynomial state for linear constant systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3734227	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818923	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222042	1984-01-01	Paper
An elementary proof of the nonexistence of canonical forms in the real and complex case	1983-01-01	Paper

Research outcomes over time

This page was built for person: José Grimm