Featured

Presburger Arithmetics

Software

ExpressionsinBar

Alelvisoftware

ExpressionsinBar is a simple menubar application which provides powerful computer...

vectors, matrices, strings Operators (+, -, *, /, ^) Arithmetics on integers, rational

free

UNB Systems Pty Ltd

Nixie Calculator provide basic arithmetic functions consistent with the original devices...

Nixie Calculator provide basic arithmetic functions consistent

Wojciech Rozga

Percent Calculator + allows you to calculate fast percent values. In this app there are two types...

Percent Calculator + allows you to calculate fast percent values. In this app there are two types

free

jMax Team

jMax is a visual programming environment for building interactive real...

are either processing units (arithmetics, timing...), data containers

Christian Mézes

Simple Arithmetics is a small app which can help you practise addition...

Simple Arithmetics is a small app...from 0 to 400. „Simple Arithmetics“ generates equations

free

Alexander Walz

Agena provides you with all the means to implement your ideas quickly: fast real and complex...

fast real and complex arithmetics, efficient text processing, graphics

free

Markus Strauch

Triple-A (Automatic Analysis with Automata...

LTL model checking and Presburger arithmetics) and a graphical user interface