Get started
Author

José Grimm

Observed names: Grimm, Jose, Grimm, José, Grimm, José; INRIA, Apics Team
OpenAlex ID: A5113684231
Optimal Time and Minimum Space-Time Product for Reversing a Certain Class of Programs
1996 · José Grimm, Loïc Pottier, et al. · 32
Realization and Canonicity for Implicit Systems
1988 · José Grimm · SIAM Journal on Control and Optimization · 19
Producing MathML with Tralics
2007 · José Grimm · Czech digital mathematics library · 10
PDF
Identification d'un filtre hyperfréquences par approximation dans le domaine complexe
1998 · Laurent Baratchart, José Grimm, et al. · HAL · 9
Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets
2010 · Grimm, José; INRIA, Apics Team · HAL · 8
Application De La Theorie Des Systems Implicites A L'Inversion Des Systems
2005 · José Grimm · Springer eBooks · 8
Rational Approximation of Transfer Functions in the Hyperion Software
2000 · José Grimm · 8
Tralics, a LTEX to XML Translator
2005 · José Grimm · 7
Implementation of three types of ordinals in Coq
2013 · Grimm, José · HAL · 6
Outils pour la manipulation du rapport d'activité
2002 · José Grimm · HAL · 4
Fibonacci numbers and the Stern-Brocot tree in Coq
2014 · Grimm, José · HAL · 2
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two; Ordered Sets, Cardinals, Integers
2009 · José Grimm · HAL · 2
Tralics, a LaTeX to XML translator; Part I
2005 · José Grimm · 2
Tralics, a L A T E X to XML translator Part I
2008 · José Grimm · 1
Tralics, a LAT E X to XML Translator
2003 · José Grimm · 1
Une structure differentielle pour les systèmes implicites
1986 · Laurent Baratehart, José Grimm · Lecture notes in control and information sciences · 1
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Three Structures
2016 · José Grimm
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers
2015 · Grimm, José · HAL
New Results - Type theory and formalization ofmathematics
2011 · José Grimm, Loïc Pottier, et al.
Application Domains - Geometric inverse problemsfor elliptic partial differential equations
2010 · Laurent Baratchart, Yannick Fischer, et al.
Application Domains - Identification and design of resonant systems: hyperfrequency filter identification
2009 · Laurent Baratchart, Stéphane Bila, et al.
New Results - Inverse Problems for 2-D and 3-D elliptic operators
2008 · Laurent Baratchart, Maureen Clerc, et al.
Convertir du LaTeX en HTML en passant par XML : Deux exemples d’utilisation de Tralics
2008 · José Grimm · Cahiers GUTenberg
Scientific Foundations - Identification and approximation
2008 · Laurent Baratchart, Slah Chaabi, et al.
Converting LaTeX to MathML: the Tralics algorithms
2007 · José Grimm · HAL
Works count: 42
Citation count: 120
H-index: 7
I10-index: 3
Year
Topic
Type