InCLosure (Interval enCLosure): Software Releases and Resources

New upload

Community



InCLosure (Interval enCLosure): Software Releases and Resources

Latest Release: https://doi.org/10.5281/zenodo.2702404

This community contains software releases, documentations, and resources of InCLosure. InCLosure (Interval enCLosure) is a Language and Environment for Reliable Scientific Computing. InCLosure provides rigorous and reliable results in arbitrary precision. From its name, InCLosure (abbreviated as "InCL") focuses on "enclosing the exact real result in an interval". The interval result is reliable and can be as narrow as possible.

InCLosure supports arbitrary precision in both real and interval computations. In real arithmetic, the precision is arbitrary in the sense that it is governed only by the computational power of the machine (default is 20 significant digits). The user can change the default precision according to the requirements of the application under consideration. Since interval arithmetic is defined in terms of real arithmetic, interval computations inherit the arbitrary precision of real arithmetic with an added property that the interval subdivision method is provided with an arbitrary number of subdivisions which is also governed only by the computational power of the machine. The user can get tighter and tighter guaranteed interval enclosures by setting the desired number of subdivisions to cope with the problem at hand.

All the computations defined in terms of real and interval arithmetic (e.g., real and interval automatic differentiation) inherit the same arbitrary precision.

InCLosure is written in Lisp, the most powerful and fast language in scientific computations. InCLosure provides easy user interface, detailed documentation, clear and fast results. Anyone can compute with InCLosure.

Author (Coded by): Hend Dawood

Author Website: https://scholar.cu.edu.eg/henddawood

Support Link: http://scholar.cu.edu.eg/henddawood/software/InCLosure

Read more

Curated by:
HDawood
Curation policy:

Software releases, documentations, and resources of InCLosure. InCLosure (Interval enCLosure) is a Language and Environment for Reliable Scientific Computing.

Curator: Hend Dawood (https://scholar.cu.edu.eg/henddawood)

Created:
May 10, 2019
Harvesting API:
OAI-PMH Interface

Want your upload to appear in this community?

  • Click the button above to upload straight to this community.
  • The community curator is notified, and will either accept or reject your upload (see community curation policy above).
  • If your upload is rejected by the curator, it will still be available on Zenodo, just not in this community.