Search Results for "common"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

...It needs a precision of arround 60 digits. The problem comes with very-high degree polynomials. The higher is the degree, the faster the execution time increases. But for common examples, the application does the job well. You will find more about it at this web site: https://www.frojasg1.com:8443/downloads_web/web/html/raicesDePolinomios.html?origin=sourceforge

....: =, <, > - 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 common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin

This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..

Java library of statistical distribution functions. Classes implement the PDF, CDF, and (usually) quantile and random variate generation for many common distributions.

ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers.

Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary...

Matt's MathTools is a Java application designed as an aid in preparing printed math tests. It is easily embedded in other Java applications or it can be used alone as a single-user desktop app. It includes a scripting environment, numerous demonstration classes and several general utilities. A scripting tutorial is also available.

MathOCR try to recognize printed scientific document including mathematical formula , result is available in LaTeX and HTML.

...Mutable complex numbers would avoid garbage-collection penalty and therefore be faster in calculations. Javafastcomplex implements both mutable and immutable complex numbers, and has a common interface for both, allowing users to write functions that can take either a mutable or an immutable complex number as an argument. Mutable complex numbers can then be used in the most performance-critical parts of the code with immutable complex numbers being used elsewhere. Performance improvement of mutable complex numbers is 10x in the best-case scenario and about 2x in real life complex number code. ...

This project provides an interface to Java expression evaluator software. It does not itself provide expression capabilities but instead provides a common interface.

visualFSA is a small tool which lets you construct NFAs/DFAs [(non)deterministic finite automata]. It offers some common algorithms which can be applied to that automatons, like converting NFA -> DFA, word problem, accepted language etc.

The Decision Deck project aims at developing a generic decision aid platform composed of modular "software components". These software components implement the common functionalities of a large range of multiple criteria decision aid methods. This

RasaelMathSuite is a Java application that can evaluate simbolic expressions

Plexus is a Java library with specifications and implementations for generic graph data structures. Like the Java Collections Framework, vertices and edges are containers for arbitrary user-defined objects.

JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network. New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1

Mad Math is a Math API for Java that is aimed at adding needed math functions and formulas that are not in the regular Java Math API, such as fibonacci sequence, is prime, area formulas, greatest common factor, least common multiple etc.

The project Intergeo co-funded by the Community programme eContentplus develops an open-source library for the common file format it defines to allow developers of dynamic geometry systems to quickly integrate read support for such files.

This is a recopilation of programs programmed by Eliot Hijano using either Java or Ruby. All the programs have something in common with both physics and Maths and are explained mathematically and physically in its own pdf.

GrALoG is a tool for editing and visualising graph-like-structures and the results of algorithms running on them. Through it's plugins GrALoG is hugely extendable, i.e. plugin-developers can define their own graph-like structures and algorithms.

Crypt-EG is an easy visual cryptosystem program that implements ElGamal method using elliptic curves.

jMATLAB is a eclipse based workbench for scientific computing

This project contains applications which allow the user the draw the common geometry graphics (both 2D and 3D) which is available from the library.

SqW is a mathematical program for caculating and solving equations of type f(x)=0. It also builds simple graphs and has syntax analyser. Functions: sin(x), cos(x), tg(x), lg(x)... LEAVE YOUR RESPONSES ON FORUMS

Poz5 is a simple and flexible optimization libarary with a layered architecture. Solvers for linear and quadratic optimization problems are offered. External solvers can easily be integrated. Platform: Java.