Search Results for "java windows 7" - Page 20

{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.

SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications

John has between 2 and 5 apples. Mary gives him between 3 and 7 apples. How many apples does he have now? If you even understand this question, you understand interval arithmetic. This Java library implements interval arithmetic for all operators.

OnlinePlotter is a graphical and interactive online function plotter to build customizable functions per Drag&Drop.

Is an algebraic-geometric program to make geometricals constructions; handle points, lines, conical, symmetries, invertion, locus, animation, etc.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

prefix is a command line prefix calculator written in python. It supports basic math functions (add, subtract, multiply, divide) as well as some more advanced (exponents, logarithms, etc.)

A framework for utilising the Genetic Algorithm in the domain of Game Theory

Linear Al is a research, design and teaching tool for quantum computing and quantum information. A quantum development environment.

A program that makes Graphics and Tables of a formula for giving the aproximated value of a root.

Java-based standard calculator with GUI or command-line interface.

Ro3n is a simple Qt application designed to solve mathematical equations - linear as well as quadratic.

An online judge system to judge the ACM-ICPC programming contests.

rebuses editor and solver

Parse a simple math formula and validates it. Has a very comprehensive Type checking and Var substitution.

Expression4J (Math Expression Parser) is a java framework used to manage mathematic expression stored in String object like "f(x,b)=2*x-cos(b)" or "g(x,y)=f(y,x)*-2". Expression gramar can be define by user (add new operator or type ...)

Sierpinski's triangle in various forms and languages.

The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency. http://www.cs.kuleuven.be/~petervw/JCHR/

Java Kohonen Neural Network Library Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map).

PyGraphMath is a system for the manipulation of symbolic and numerical expr., equations, vectors .. (Maxima). Main focus lies on direct 3D graphical viewport (openGL) which displays math objects. Syntax is "pseudo-python" and supports objects, loops .. *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** OBSOLETE: please use instead http://www.sagemath.org/ with PyODE (or pyphyssim/PPE) *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***

Prenzl!! is a desktop application and a screen saver running artistic cellular automata. The application is based on an Eclipse architecture and the rules can be in native. Our mission is to provide a viewer and an SDK for this kind of art, called CArt.

Project Graph contains the sources and releases of MIDlet Graph, which calculates mathematic expressions and draws function graphics on the screen of J2ME mobile device.

XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>