• Home
  • Most Popular
  • Submit
  • About Us
  • Contact Us

Softpile

Free Downloads

Categories
  • Home
  • Most Popular
  • Communications
  • Desktop
  • Games & Entertainment
  • Graphic Apps
  • Network & Internet
  • Security & Privacy
  • System Utilities
Alternative to itextsharp 2022.11.10347
IronPDF offers an itextsharp alternative for HTML to PDF conversion with C# code examples, documentation, and ...
VShell Server for Linux and Mac 4.8
VShell is a versatile and secure file transfer server that supports multiple protocols and is compatible ...
PDF Studio PDF Editor for Linux 2022
PDF Studio is a cost-effective PDF editor that delivers full compatibility with the PDF Standard. It's ...
VQ Probe for Linux 1.5
VQ Probe is a comprehensive software tool that enables objective and subjective video quality analysis. The ...
Resilient Server 2.3
This Debian GNU/Linux (Buster) based software has a customized partitioning scheme that enhances robustness against filesystem ...
Valentina Studio for Linux 9.6
Valentina Studio is a cross-platform GUI manager for Mac, Windows, and Linux. It allows users to ...
VPN Lifeguard for Linux 1.0.58
The software monitors VPN connection and automatically terminates apps during connection loss, re-establishes the connection and ...
G_Viewer 0.84
G_Viewer is a Linux software that serves as both a file system and photo/image viewer. It ...
Checksome File Hash Tool for Linux 1.1
This software allows for the generation and verification of file hashes. It is a quick and ...
KeyWrangler Password Manager for Linux 1.2
A password management software that is secure, offline and extensible. It offers military-grade encryption to protect ...
Home Linux Interval arithmetic for Ada Download

Interval arithmetic for Ada

June 15, 2009
Ada's Interval arithmetic is a math library that offers an implementation of interval calculations resulting in precise output.
Version 1.7
License Other
Platform Linux
Supported Languages English
Homepage www.dmitry-kazakov.de
Developed by Dmitry A. Kazakov
Interval arithmetic for Ada is a comprehensive math library that offers a robust implementation of intervals for Ada. The library includes a rich set of arithmetic and relational operations to enhance the precision of interval analyses.

The package Intervals serves as a foundation package and a robust source of tri-state logic required to define relational operations on intervals. The type Logical is defined as a three-valued logic comprising False, True, and Uncertain.

To enhance the functionality of the library, a set of operations have been defined for Logical. These operations include "not", "and", "or", and "xor" functions. Users can leverage these functions to perform a wide range of relational operations on intervals and produce precise results.

All in all, Interval Arithmetic for Ada is an essential library for developers looking to enhance the precision and functionality of interval analyses. Its easy-to-use interface and robust set of features make it an ideal choice for professionals looking to engage in complex interval arithmetic.
What's New

Version 1.7: N/A

Free Download 489K
312
  • Share on:

Most Popular

  1. Quicksilver Forums 1.4.2
    154
  2. Dvgrab 3.4
    102
  3. DynVPN 1.0
    89
  4. CherryTV 0.1
    81
  5. SlideMap 1.2.2
    80
  6. porm r2
    73
  7. Clewarecontrol 0.8
    72
  8. Java Games 1.0
    72
  9. Swiftfox 3.0b5pre-2
    71
  10. fuseftp 0.8
    71

Related Downloads

F-PROT Antivirus for Linux Mail Servers
F-PROT Antivirus for Linux is ideal for safeguarding mail servers and file ...
PY3D1-pyode
PY3D1-pyode is a software that allows the classical pyode double pendulum example ...
Deska
Deska is a software tool that enables users to visualize chess games ...
NowListening
NowListening is a basic Kopete script that displays what music is currently ...
m2vmp2cut
m2vmp2cut software allows precise editing of MPEG2 videos (M2V files) with MP2 ...
XML::Generator::RSS10::egms
This software supports the e-Government Metadata Standard (egms) RSS 1.0 specification in ...
Graphics::ColorNames
This software assigns RGB values to popular color names.
Rapache
Rapache is a software tool designed for managing Apache remotely. It provides ...
XTelnet
This software is a telnet client that uses SSL for secure communication.
bridged
Bridged is a Linux software that offers an alternative to the in-kernel ...
Copyright © 1999-2025 Softpile Free Downloads
  • Most Popular
  • Submit
  • About Us
  • Contact Us
  • Privacy Policy
  • Disclaimer
  • Terms of Use

Can we use your data to tailor ads for you?

Our partners will collect data and use cookies for ad personalization and measurement.

By choosing "I agree", closing this pop-up or clicking on any element on the page, you agree to the use of cookies to help us provide you with a better user experience.

Learn how Softpile and our partners collect and use data.

You can change your choice at any time in our privacy center.

Cookie Settings

Our website stores four types of cookies. At any time you can choose which cookies you accept and which you refuse. You can read more about what cookies are and what types of cookies we store in our Cookie Policy.

are necessary for technical reasons. Without them, this website may not function properly.

are necessary for specific functionality on the website. Without them, some features may be disabled.

allow us to analyse website use and to improve the visitor's experience.

allow us to personalise your experience and to send you relevant content and offers, on this website and other websites.