S. Audoly, G. Bellu, D. Leontina, M. P. Angio, C. Saccomani et al., Global identifiability of nonlinear models of biological systems, IEEE Transactions on Biomedical Engineering, vol.48, issue.1, pp.55-65, 2001.
DOI : 10.1109/10.900248

T. Bächler, V. Gerdt, M. Lange-hegermann, and D. Robertz, Algorithmic Thomas decomposition of algebraic and differential systems, Journal of Symbolic Computation, vol.47, issue.10, pp.471233-1266, 2012.
DOI : 10.1016/j.jsc.2011.12.043

V. Vladimir and . Bavula, The algebra of integro-differential operators on a polynomial algebra, J. Lond. Math. Soc, vol.83, issue.2, pp.517-543, 2011.

V. Vladimir and . Bavula, The algebra of integro-differential operators on an affine line and its modules, Journal of Pure and Applied Algebra, vol.17, issue.3, pp.495-529, 2013.

V. Vladimir and . Bavula, The algebra of polynomial integro-differential operators is a holonomic bimodule over the subalgebra of polynomial differential operators. Algebras and Representation Theory, pp.275-288, 2014.

G. Baxter, An operator identity, Pacific Journal of Mathematics, vol.8, issue.4, pp.649-663, 1958.
DOI : 10.2140/pjm.1958.8.649

F. Boulier and F. Lemaire, A Normal Form Algorithm for Regular Differential Chains, Mathematics in Computer Science, vol.23, issue.4,5, pp.185-201, 2010.
DOI : 10.1007/s11786-010-0060-3
URL : https://hal.archives-ouvertes.fr/hal-00824964

F. Boulier, F. Lemaire, G. Regensburger, and M. Rosenkranz, On the integration of differential fractions, Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13, pp.101-108, 2013.
DOI : 10.1145/2465506.2465934
URL : https://hal.archives-ouvertes.fr/hal-00825855

F. Boulier and F. Lemaire, A computer scientist point of view on Hilbert's differential theorem of zeros. (preprint), 2007.

F. Boulier, E. Cheb-terrab, and . Differentialalgebra, Package of MapleSoft MAPLE standard library since MAPLE 14, 2008.

F. Boulier, A. Hubert, and . Diffalg, Package of MapleSoft MAPLE standard library from MAPLE V to MAPLE 13, 1996.

F. Boulier, A. Korporal, F. Lemaire, W. Perruquetti, A. Poteaux et al., An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data, Proceedings of Computer Algebra and Scientific Computing (CASC) 2014, pp.28-43, 2014.
DOI : 10.1007/978-3-319-10515-4_3
URL : https://hal.archives-ouvertes.fr/hal-01114187

F. Boulier, J. Lallemand, F. Lemaire, G. Regensburger, and M. Rosenkranz, Additive normal forms and integration of differential fractions, Journal of Symbolic Computation, vol.77, pp.16-38, 2016.
DOI : 10.1016/j.jsc.2016.01.002
URL : https://hal.archives-ouvertes.fr/hal-01245378

F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Representation for the radical of a finitely generated differential ideal, Proceedings of the 1995 international symposium on Symbolic and algebraic computation , ISSAC '95, pp.158-166, 1995.
DOI : 10.1145/220346.220367
URL : https://hal.archives-ouvertes.fr/hal-00138020

F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Computing representations for radicals of finitely generated differential ideals, Techrep. IT306 of the LIFL), pp.73-121, 1997.
DOI : 10.1007/s00200-009-0091-7
URL : https://hal.archives-ouvertes.fr/hal-00820902

N. Bourbaki, ´ Eléments d'Histoire des Mathématiques, volume iv of Collection Histoire de la Pensée, 1969.

J. L. Chassé, J. M. Legay, and A. Pavé, Le modèle de Volterra-Kostitzin en dynamique des populations. Ajustement et interprétation des paramètres, Ann. Zool. Ecol. anim, vol.9, issue.3, 1977.

R. Cohn, Difference Algebra, 1965.

L. Denis-vidal, Z. Cherfi, V. Talon, and . Brahmi, Parameter Identifiability and Parameter Estimation of a Diesel Engine Combustion Model, Journal of Applied Mathematics and Physics, vol.02, issue.05, pp.131-137, 2014.
DOI : 10.4236/jamp.2014.25017

L. Denis-vidal, G. Joly-blanchard, and C. Noiret, System Identifiability (Symbolic Computation) and Parameter Estimation (Numerical Computation), Numerical Algorithms, pp.282-292, 2003.
DOI : 10.1023/B:NUMA.0000005366.05704.88

L. Denis-vidal, G. Joly-blanchard, and N. Ere, Identifiability of Ordinary or Delayed Nonlinear Models: a Distribution Approach, proceedings of the IEEE, 2006.

L. Denis-vidal, G. Joly-blanchard, and N. Ere, Identifiability and Estimation of Nonlinear Models: a Distribution Framework, proceedings of the ECC, 2007.

S. Diop and M. Fliess, Nonlinear observability, identifiability, and persistent trajectories, [1991] Proceedings of the 30th IEEE Conference on Decision and Control, pp.714-719, 1991.
DOI : 10.1109/CDC.1991.261405

M. Fliess, Automatique et corps diff??rentiels, Forum Mathematicum, vol.1, issue.1, pp.227-238, 1989.
DOI : 10.1515/form.1989.1.227

M. Fliess, M. Mboup, H. Mounier, and H. Sira-ramirez, Questioning some paradigms of signal processing via concrete examples, Algebraic Methods in Flatness, Signal Processing and State Estimation, Algebraic Methods in Flatness, Signal Processing and State Estimation, pp.1-21, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00001059

X. Gao and L. Guo, Constructions of Free Commutative Integro-Differential Algebras, Algebraic and Algorithmic Aspects of Differential and Integral Operators, pp.1-22, 2014.
DOI : 10.1007/978-3-642-54479-8_1

L. Guo, An Introduction to Rota-Baxter Algebras, 2012.

L. Guo, G. Regensburger, and M. Rosenkranz, On integro-differential algebras, Journal of Pure and Applied Algebra, vol.218, issue.3, pp.456-473, 2014.
DOI : 10.1016/j.jpaa.2013.06.015

A. Lloyd-hodgkin and A. F. Huxley, A quantitative description of membrane current and its application to conduction and excitation in nerve, The Journal of Physiology, vol.117, issue.4, pp.500-544, 1952.
DOI : 10.1113/jphysiol.1952.sp004764

A. J. Jerri, Introduction to Integral Equations with Applications, volume 93 of Monographs and Textbooks in Pure and Applied Mathematics, 1985.

G. Joly-blanchard, L. Denis, and . Vidal, Some Remarks about an Identifiability Result of Nonlinear Systems, Automatica, vol.34, issue.9, pp.1151-1152, 1998.
DOI : 10.1016/S0005-1098(98)00055-7

J. Keener and J. Sneyd, Mathematical Physiology I: Cellular Physiology, 2010.

M. Lange-hegermann and D. Robertz, Thomas decompositions of parametric nonlinear control systems, IFAC Proceedings Volumes, vol.46, issue.2, pp.296-301, 2013.
DOI : 10.3182/20130204-3-FR-2033.00099

L. Ljung and S. T. Glad, On global identifiability for arbitrary model parametrizations, Automatica, vol.30, issue.2, pp.265-276, 1994.
DOI : 10.1016/0005-1098(94)90029-9

E. L. Mansfield, Differential Gröbner Bases, 1991.

M. Mboup, C. Join, and M. Fliess, Numerical differentiation with annihilators in noisy environment, Numerical Algorithms, vol.14, issue.12, pp.439-467, 2009.
DOI : 10.1007/s11075-008-9236-1
URL : https://hal.archives-ouvertes.fr/inria-00319240

C. Noiret, Utilisation du calcul formel pour l'identifiabilité de modèles paramétriques et nouveaux algorithmes en estimation de paramètres, 2000.

F. Ollivier, Leprobì eme de l'identifiabilité structurelle globale : approche théorique, méthodes effectives et bornes de complexité, 1990.

A. Pavé, Modeling living systems, from cell to ecosystem 44. ´ Emile Picard. La mathématique dans ses rapports avec la physique, Actes du IVème congrès international des mathématiques, 1908.

A. Quadrat and G. Regensburger, Polynomial solutions and annihilators of ordinary integro-differential operators, IFAC Proceedings Volumes, pp.308-313, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00925686

G. J. Reid, A. D. Wittkopf, and A. Boulton, Reduction of systems of nonlinear partial differential equations to simplified involutive forms, European Journal of Applied Mathematics, vol.18, issue.06, pp.635-666, 1996.
DOI : 10.1088/0951-7715/7/3/012

J. Fels and R. , Differential Algebra, 1950.

D. Robertz, Formal Algorithmic Elimination for PDEs, Lecture Notes in Mathematics, vol.2121, 2014.

M. Rosenkranz, A new symbolic method for solving linear two-point boundary value problems on the level of operators, Journal of Symbolic Computation, vol.39, issue.2, pp.171-199, 2005.
DOI : 10.1016/j.jsc.2004.09.004

M. Rosenkranz, X. Gao, and L. Guo, An Algebraic Study of Multivariable Integration and Linear Substitution, 2015.

M. Rosenkranz and G. Regensburger, Integro-differential polynomials and operators, Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, ISSAC '08, 2008.
DOI : 10.1145/1390768.1390805

M. Rosenkranz and G. Regensburger, Solving and factoring boundary problems for linear ordinary differential equations in differential algebras, Journal of Symbolic Computation, vol.43, issue.8, pp.515-544, 2008.
DOI : 10.1016/j.jsc.2007.11.007

G. Rota, Baxter algebras and combinatorial identities. II, Bulletin of the American Mathematical Society, vol.75, issue.2, pp.325-334, 1969.
DOI : 10.1090/S0002-9904-1969-12158-0

G. Rota, Baxter operators, an introduction, Gian-Carlo Rota on Combinatorics, Introductory papers and Commentaries. Birkhäuser, 1995.

A. Sedoglavic, A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time, Journal of Symbolic Computation, vol.33, issue.5, pp.735-755, 2002.
DOI : 10.1006/jsco.2002.0532
URL : https://hal.archives-ouvertes.fr/hal-00115734

A. Seidenberg, An elimination theory for differential algebra, Univ. California Publ. Math. (New Series), vol.3, pp.31-65, 1956.

L. Nathalieverdì-ere and G. Denis-vidal, A new method for estimating derivatives based on a distribution approach, Numerical Algorithms, vol.61, pp.163-186, 2012.

L. Nathalieverdì-ere, G. Denis-vidal, D. Joly-blanchard, and . Domurado, Identifiability and Estimation of Pharmacokinetic Parameters for the Ligands of the Macrophage Mannose Receptor, Int. J. Appl. Math. Comput. Sci, vol.15, issue.4, pp.517-526, 2005.

V. Volterra, Sur les ??quations int??gro-diff??rentielles et leurs applications, Acta Mathematica, vol.35, issue.0, pp.295-356, 1912.
DOI : 10.1007/BF02418820

V. Volterra, Leçons sur leséquationsles´leséquations intégrales et leséquationsles´leséquations intégro-différentielles

. Gauthier-villars, Leçons professéesprofessées`professéesà la faculté des sciences de Rome, publiées par M, 1913.

V. Volterra, Applications des mathématiquesmathématiques`mathématiquesà la biologie. L'enseignement mathématique, 1937. Leçon faite le 17 juin 1937

V. Volterra, Theory of functionals and of integral and integro-differential equations, 1959.