Uncertainty Quantification in Scientific Computing: 10th ...
Preview
Great thanks are due to the organizers, Ronald Boisvert and Andrew Dienstfry of the National Institute of Standards and Technology. Support ... Berleant, D.: Automatically verified reasoning with both intervals and probability density functions.