Numerical Software with Result Verification

DOI10.1007/B96498zbMATH Open1126.93329OpenAlexW203078251MaRDI QIDQ5308347FDOQ5308347

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

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

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)

Cited In (8)

• AutoRepar: A method to obtain identifiable and observable reparameterizations of dynamic models with mechanistic insights
• Title not available (Why is that?)
• Structural identifiability of linear port Hamiltonian systems
• Guaranteed nonlinear parameter estimation in knowledge-based models
• Structural identifiability of a model for the acetic acid fermentation process
• Identifiability and distinguishability testing via computer algebra
• Title not available (Why is that?)
• Identifiability of car-following dynamics

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)