Published July 1, 2019 | Version v1
Dataset Open

InCLosure Code for Guaranteed Enclosures Under Interval Dependency: Supplementary Material for Article "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties"

Authors/Creators

  • 1. Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt
  • 2. Department of Astronomy, Faculty of Science, Cairo University, Giza 12613, Egypt

Description

InCLosure Input and Output Files for Guaranteed Enclosures Under Interval Dependency: Supplementary Material for Article "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties", Online Mathematics Journal, July 2019. Download latest release of InCLosure via https://doi.org/10.5281/zenodo.2702404

Files

SupOMJDep2019.zip

Files (117.7 kB)

Name Size Download all
md5:1058a59f88bf0aaec277c9ea24e5a778
117.7 kB Preview Download

Additional details

Related works

Cites
Software: 10.5281/zenodo.2702404 (DOI)