Calculus

LAUNCH SALE! FOR ONE WEEK ONLY SAVE OVER 60%! MathStudio, formerly SpaceTime, is the most comprehensive math app available for iPhone, iPad and Mac. Whether you need a simple calculator to do your finances or a replacement for your TI graphing calculator, MathStudio is the most powerful and... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,... Platforms: Windows, Mac, *nix, Java, BSD Solaris

GNU Nana is a free library providing improved support for assertion checking (as in assert.h) and logging (printf style debugging) in GNU C and C . Features: - Space/time efficient, at least compared to assert.h. For example assert(i >= 0) uses 53 bytes on the x86, while Nana uses either 10 bytes... Platforms: *nix, C/C++, BSD

VMatrixLib is a little, handy, Java matrix library which implements a set of utility functions (such as calculus of the determinant of a matrix, calculus of the rank, inverse matrix, and many others..) that anyone who have to use matrices needs. Platforms: Windows, Mac, Linux

Due to participation from research centre CERENA in the international desertwatch project (homepage software needed to be made to handle the extensive databases necessary to this project successfull completion. ECMWF Parser was one such case and by now the most compreheensive tool built for... Platforms: Windows

This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools Platforms: Windows, Mac, Linux

An interpreter of lambda calculus.It shows reduction process of lambda terms.Several evaluation strategies are supported.Output format can be selected from LaTex, plain text. Platforms: Windows, Mac, Solaris, Linux

Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation. Platforms: Windows, Mac, Linux

This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus. Platforms: Windows, Mac, Linux

Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD Platforms: Mac

JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules. The language combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification... Platforms: Windows

The Fuzzy Relational Calculus Toolbox is companion software to the book Fuzzy Relational Calculus - Theory, Applications and Software (with CD-ROM) by Ketty Peeva & Yordan Kyosev, ISBN 981-256-076-9, Advances in Fuzzy Systems Applications and Theory - Vol. 22, World Scientific Publishing... Platforms: Matlab

This package is created with the highly appreciated theoretical help and under the supervision of Prof. DSc. Ketty Peeva.Theoretical results and methods can be found in:1. B. De Baets, Analytical solution methods for fuzzy relational equations, in the series: Fundamentals of Fuzzy Sets, The... Platforms: Matlab

This e-book is based on the Student Edition of MATLAB 7, which includes a symbolic toolbox. The Professional Edition may of course also be used. The goal is to exploit a restricted subset of MATLAB commands and functions to explore most of the elements of undergraduate mathematics. All items from... Platforms: Matlab

Need a tad of help with an equation? Do you think you could use an application which offers easy access to formulas and to a unit converter? Then Microsoft might have the right answer for you. Microsoft Mathematics 4.0 is now available as a free download from the Redmond company. The tool is... Platforms: Windows

A Lightweight Coordination Calculus (LCC) Interpreter for Java Platforms: Windows, Mac, Linux

FC-Win (tm) is a front-end program for FortranCalculus (tm). The FortranCalculus (FC) language is for math modeling, simulation, and optimization. FC is based on Automatic Differentiation that simplifies computer code to an absolute minimum; i.e., a mathematical model, constraints, and the... Platforms: Windows, Windows Server

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.The implementation is based on the data structure binary decision diagram (BDD), which is well-known as... Platforms: C and C plus plus

It is a free development library based on (or extending) the Qt library. The QVision is mainly oriented to create Qt applications for computer vision, image and video processing. This library focus mainly on educational and research purposes, usability and performance. It has a clean and well... Platforms: *nix

smib is a mosaic of FORTH and LISP, C Sauce and an experimental programming language close to mathematical language. In this version : law of large numbers, central limit theorem, hyperbolic trigonometry, warnings are cleaned . Features . Number theory : infinite size integers, arithmetic... Platforms: *nix