Numerical Software with Result Verification

DOI10.1007/B96498MaRDI QIDQ5308347zbMATH OpenOpenAlexFDO

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

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

Recommendations

• scientific article; zbMATH DE number 836575
• 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
• Identifiability and distinguishability testing via computer algebra
• Identifiability of car-following dynamics
• Structural identifiability of linear port Hamiltonian systems
• scientific article; zbMATH DE number 728197 (Why is no real title available?)
• scientific article; zbMATH DE number 836575 (Why is no real title available?)
• AutoRepar: A method to obtain identifiable and observable reparameterizations of dynamic models with mechanistic insights
• Guaranteed nonlinear parameter estimation in knowledge-based models

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)