Statool: A tool for distribution envelope determination (DEnv), an interval-based algorithm for arithmetic on random variables
scientific article; zbMATH DE number 1924877