DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» INTLAB
INTLAB
USER GUIDE Globsol User Guide
Preconditioning of Taylor Models, Implementation and Test Cases
Introduction to INTERVAL ANALYSIS
An Arbitrary Precision Range Analysis Library
Numerical Linear Algebra Using Interval Arithmetic Hong Diep Nguyen
Interval Computations in Julia Programming Language Evgeniya Vorontsova
An Efficient Approach to Solve Very Large Dense Linear Systems with Verified Computing on Clusters
More System Independent Usage of Numerical Verification Algorithms
Bounding the Search Space for Global Optimization of Neural Networks Learning Error: an Interval Analysis Approach
INTLAB References
Top View