José Grimm

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!

Publication	Date of Publication	Type
Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. II: From natural numbers to real numbers	2019-09-18	Paper
Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. I: Theory of sets	2011-02-10	Paper
Asymptotic estimates for interpolation and constrained approximation in \(H^2\) by diagonalization of Toeplitz operators Integral Equations and Operator Theory	2003-01-01	Paper
scientific article; zbMATH DE number 992814 (Why is no real title available?)	1997-03-18	Paper
scientific article; zbMATH DE number 4126161 (Why is no real title available?)	1990-01-01	Paper
Realization and Canonicity for Implicit Systems SIAM Journal on Control and Optimization	1988-01-01	Paper
On polynomial controllability with polynomial state for linear constant systems IEEE Transactions on Automatic Control	1986-01-01	Paper
scientific article; zbMATH DE number 3965897 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4091333 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3887539 (Why is no real title available?)	1984-01-01	Paper
An elementary proof of the nonexistence of canonical forms in the real and complex case Systems & Control Letters	1983-01-01	Paper

Research outcomes over time

This page was built for person: José Grimm