Software Index
Linux Software Business  

Interval arithmetic for Ada

download download home home   report broken
important software information
company name:
Dmitry A. Kazakov
license: Freeware
minimum requirements: No special requirements.
functional limitations:
Interval arithmetic for Ada description
Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. It includes arithmetic and relational operations.

Examples:

Tri-state logic

The package Intervals serves as a root package and also provides tri-state logic necessary to define relational operations on intervals. The type Logical is defined as:

type Logical is (False, True, Uncertain);. .
Similar software
Simple components for Ada (Popularity: ) : Simple components for Ada library is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your ...
Textometrie for Linux (Popularity: ) : The Textometrie project is designed to build the new generation of modular and open-source textometry platform and application.. . Publisher of Textometrie for Linux, Author of Textometrie for Linux 0.3.2. The Textometrie project is designed to build the new generation ...
Task Coach For Linux (Popularity: ) : Task Coach is a simple open source todo manager to manage personal tasks and todo lists. Task Coach grew out of my frustration that well-known task managers, such as those provided with Outlook or Lotus Notes, do not provide facilities ...
Sparrow for Linux (Popularity: ) : Sparrow is a Python library that provides a very high-level abstraction for RDF databases. It provides support for the following basic functions:

* Parsing RDF statements from different formats into a contextual database
* Serializing the RDF statements for a specific context ...

Navicat for Linux (Popularity: ) : Navicat is a powerful MySQL database administration and development tool that are not only sophisticated enough for professional developers, but also easy to learn for new users.

With a nice GUI, Navicat lets you quickly and easily create, organize, access and ...

gdcalc for Linux (Popularity: ) : gdcalc project is a financial, statistics, scientific and programmers calculator for Unix and Linux with both RPN and algebraic modes.

The GUI was written with glade and uses the Gnome/Gtk+ toolkit - so it may well be compatible with themes and ...

Navicat for MySQL (Linux) - superb database tool for MySQL and MariaDB (Popularity: ) : Navicat for MySQL are able to connect to MySQL and MariaDB databases simultaneously within a single application. It works with MySQL database servers from version 3.21 or above and MariaDB 5.1 or higher. It is also compatible with Drizzle, OurDelta, ...
Navicat for Oracle (Linux) - the best GUI database tool for your work (Popularity: ) : Navicat for Oracle suit with Oracle database servers from version 8i or above and supports most of the latest Oracle objects features, including Directory,Tablespace,Synonym, Materialized View,Trigger,Sequence,Type etc.By using the new feature of Navicat Cloud, developers can sync their connection settings ...
CDBF for Linux (Popularity: ) : CDBF is a powerful database viewer and editor that lets individuals and business users access databases directly without programming via the familiar Windows interface. This small and handy utility offers everything you need for working with database. Unlike other similar ...
SMS Server for Linux (Popularity: ) : The SMS Server is a powerful, flexible application, that enables you to send and receive SMS messages from mobile devices with your computer. The application uses a standard GSM mobile phone to transmit and receive the messages. The phone is ...
InnocentMod Grey (Popularity: ) : InnocentMod Grey is a grey GTK theme for GNOME.

How to install?

· Right click on your desktop and select Change Desktop Background
· Click on the first tab: Theme
· Drag and drop the theme's archive in the Appearance Preferences window.
· If everything ...

Imperfect World Of Robos (Popularity: ) : Imperfect World Of Robots (IWOR) is a programming game. It simulate a world in which robots controlled by programs can live in it, work, defend their tribe and even born new children!

Unlike other programming games IWOR is not just about ...

User reviews

Write a review:
1 2 3 4 5 6 7 8 9 10
1=poor 10=excellent
Write review*
Your name*
Email*
  (Comments are moderated, and will not appear on this site until the editor has approved them)
 
Similar scripts
INTSOLVER: An interval based solver for Global Optimization (Popularity: ) : We present a set of functions based on interval arithmetic to solve small size global optimization problems with guaranteed bounds on solutions. Interval analysis can be used to bound ALL solutions of nonlinear optimization problem, equality constrained or not as ...
phpMyChord for Music and Sound (Popularity: ) : This is a PHP web application for creating custom Scale, Chord and Interval dictionaries and diagrams for any musical instrument.MySQL database tables enumerates all possible scales, chords and intervals (in the 12TET Universe) and their properties.phpMyChord Aims to provide:- Mathematically ...
LiveControls for ASP.NET (Popularity: ) : Imagine creating rich web applications that don't flash when posting data to the server...shopping carts that dynamically confirm customer information, inventory, shipping costs, and discounts using server-side resources...financial applications that update rates without the usual flicker...sports applications that update scores ...
Intervals (Popularity: ) : Interval arithmetic in Ruby. Besides making obvious a possible loss of precision during floating point calculations, interval arithmetic provides not-so-conventional methods for a variety of computational applications.
Frink (Popularity: ) : Frink is a practical calculating tool and programming language designed to help us all to better understand the world around us, to help us get calculations right without getting bogged down in the mechanics, and to make a tool that's ...
Ada Class Library (Popularity: ) : Ada Class Library - an object orientated library for Ada.Text search and replace.Scripting (small tool programs).CGI scripts.Execution of external programs (incl. I/O redirection).Garbage Collection.Extendended Booch Components.CD-Recorder
Pascal-to-Ada (Popularity: ) : P2Ada is a Pascal to Ada translator.Recognizes particularities of several Pascal dialects: Turbo/Borland/Delphi (mostly), CodeWarrior, ISO, ISO Extended (a bit).Includes a full ayacc / aflex parser & lexer for Ada 95+ with sources.
GL Extension Wrangler Library for Ada (Popularity: ) : Now,glew1.5.4 Ada binding out! We rewrite the translate-tool and the whole glew . C++ Ref from: https://sourceforge.net/projects/glew/
MSP430-Ada (Popularity: ) : Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project.
PopUp Making Wizard, w/Cookies! (Popularity: ) : Ace Generation 3 Popup Wizard, with cookies is a tool that allows the webmasters to include popup windows, they can alter the window's appearance by changing the properties such as scroll bars, tool bars etc., as they wish. They can ...
Rate me
supported os's
stats
downloads 6
version 1.7
size in Kb 492
popularity   
755/1272475
user rating 0/10
our rating 0 Stars
share info
Recommend Interval arithmetic for Ada
Report spyware
New Software
Popular Software
Latest Reviews