Numerical Software with Result Verification

DOI10.1007/B96498MaRDI QIDQ5308347zbMATHOpenAlexFDO

Authors Isabelle Braems, L. Jaulin, Michel Kieffer, Eric Walter

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96498

Mathematics Subject Classification ID

Computational methods for problems pertaining to biology (92-08) System identification (93B30) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Recommendations

• Publication:4861691
• Identifiability and distinguishability testing via computer algebra
• scientific article; zbMATH DE number 3906324
• Guaranteed nonlinear parameter estimation in knowledge-based models
• scientific article; zbMATH DE number 4059204

Cited in

(8)

• Structural identifiability of a model for the acetic acid fermentation process
• AutoRepar: A method to obtain identifiable and observable reparameterizations of dynamic models with mechanistic insights
• Identifiability of car-following dynamics
• Identifiability and distinguishability testing via computer algebra
• Guaranteed nonlinear parameter estimation in knowledge-based models
• scientific article; zbMATH DE number 728197 (Why is no real title available?)
• Structural identifiability of linear port Hamiltonian systems
• scientific article; zbMATH DE number 836575 (Why is no real title available?)

This page was built for publication: Numerical Software with Result Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308347)