Lokasi: InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing

Main Author:	Hend Dawood
Format:	info software
Bahasa:	eng
Terbitan:	, 2018
Subjects:	InCLosure InCLosure (Interval enCLosure) InCL Dawood's InCLosure Lisp Common Lisp Scientific Software Mathematical Software Mathematics Computer Science Computational Mathematics Computational Physics Reliable Computing Computer Algebra Symbolic Computation Algebraic Computation Numerical Computation Numerical Analysis Interval Mathematics Uncertainty Uncertainty Quantification Uncertainty Analysis Uncertainty Modeling Quantitative Knowledge Reliability Interval Computations Interval Analysis Set-valued functions Interval Arithmetic Universal Intervals Bounding Error Real Functions Interval Functions Automatic Differentiation Real Automatic Differentiation Differentiation Arithmetic Real Differentiation Arithmetic Guaranteed Enclosures Interval Enclosures Guaranteed Enclosures of Quantifiable Uncertainties Arbitrary Precision Interval Subdivision Images of Families of Real Functions Interval Automatic Differentiation Interval Differentiability Interval Differentiation Arithmetic
Online Access:	https://zenodo.org/record/2757278

https://zenodo.org/record/2757278