Search Results for "calculus"

mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest...

Rating engine for calculating insurance tariffs.

gattMath is a educational math (graphical) program that show some concepts behind Integral and Differential Calculus, like Riemann, Simpson, Darboux, Trapezoid, Monte-Carlo integration, derivative, antiderivative, tangent,..., and sure a plotter.

Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.

The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.

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

A lambda calculus interpreter for android.

Workflow As Mobile Processes - The combination of declarative event-based process language and mobile process calculus.

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.

Haz ejercicios de matematicas de forma repetitiva para mejorar tu nivel de calculo basico en precision y en velocidad. Basado en método Kumon. Do math exercises repeatedly to improve your level of basic calculus in precision and speed. Kumon based.

Scribble is a language for describing global (choreography) and local (service endpoint) behaviour. Extensible tools are provided, both standalone and as Eclipse plugins, to edit the language, perform validation and export to other appropriate notations.

GeoGebra is free and multi-platform dynamic mathematics software for learning and teaching geometry, algebra, statistics, and calculus. Download the free software at http://www.geogebra.org. Find the source code at http://www.geogebra.org/trac

This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).

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.

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

The main goal of OWLVE is to visualize graphically any OWL–lite file. Using powerful RCP and GEF technologies will improve the quality of graphics and diagrams.This project includes an algorithm for similarity calculus between two OWL files.

This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots

A Multi-Platform java program that takes equations and finds multiple different things about them, such as derivatives, anti-derivatives, area between two equations, volume between two equations, as well as other algebra expressions.

a Java implementation of Coquand and Huet's Calculus of Constructions.

Timba is an irregular surfaces calculus system by applying the method ‘Montecarlo’. Its goal is to calculate the growing of moles, spots and skin cancer of a patient.