660 projects tagged "Mathematics"

Download Website Updated 31 Jul 2007 BDD BuDDy

Screenshot
Pop 22.47
Vit 1.00

BuDDy was created as part of a PhD project on model checking of finite state machines by Jørn Lind-Nielsen. The package has evolved from a simple introduction to Binary Decision Diagrams (BDDs) to a full blown BDD package with all the standard BDD operations, reordering, a C++ interface, and a wealth of documentation.

Download No website Updated 26 Aug 2007 Lolimot

Screenshot
Pop 19.13
Vit 1.00

Lolimot is a fast neural network learning tool. LOLIMOT stands for LOcal LInear MOdel Tree. It belongs to the family of neuro-fuzzy models. This tool allows you to convert the models into C/C++/Matlab files.

Download Website Updated 14 Sep 2007 Boolean Expression Solver

Screenshot
Pop 19.95
Vit 1.00

Boolean Expression Solver is a commandline utility that generates a truth table for a given Boolean expression. It is written in Java, so it will run on any platform that has the Java runtime environment installed, but the makefile and shell-script included for convenience generally require *nix.

Download Website Updated 14 Sep 2007 WEKA Classification Algorithms

Screenshot
Pop 29.58
Vit 1.00

WEKA Classification Algorithms provides an implementation of a number of artificial neural network (ANN) and artificial immune system (AIS) based classification algorithms for the WEKA (Waikato Environment for Knowledge Analysis) machine learning workbench.

No download Website Updated 20 Sep 2007 Powua Client

Screenshot
Pop 23.24
Vit 1.00

Powua is a parallel super-computer consisting of many processors that work simultaneously. The Powua client lets users access this high computing power from wherever they are, directly on their computer, through a simple Internet connection. If your preferred software is supported, you can start using it immediately in Powua and speed up all those processes that would otherwise occupy your processor for a long time. Powua subdivides your operation and distributes it to many processors simultaneously.

Download Website Updated 03 Nov 2007 BPKit

Screenshot
Pop 8.19
Vit 1.00

BPKIT is a toolkit of block preconditioners for the iterative solution of linear systems. The most effective general purpose and black-box type of preconditioners are available, including block SSOR, block tridiagonal ILU, and the block extension of point ILU with level-of-fill. Any of these "global" preconditioners may be coupled with one of a large collection of "local" preconditioners for approximately or exactly inverting or solving with the diagonal or pivot blocks. These include a number of approximate inverse techniques. By combining a global and local preconditioner, a wide variety of preconditionings are possible, matched to the difficulty and structure of the problem.

Download Website Updated 12 Nov 2007 Simplify Theorem Prover

Screenshot
Pop 31.84
Vit 1.00

Simplify is an automated theorem prover used by ESC/Java2.

No download Website Updated 16 Nov 2007 JFunctionViewer

Screenshot
Pop 16.88
Vit 1.00

JFunctionViewer is a simple and fast function plotter. It can be run as an applet in any Java 5.0-capable browser. It can also be downloaded and used offline.

Download Website Updated 23 Nov 2007 Uncommons Maths

Screenshot
Pop 25.10
Vit 1.00

Uncommons Maths is a Java library consisting of a comprehensive random numbers package and other useful mathematical utility classes.

No download Website Updated 15 May 2009 Linear Algebra Performance Library

Screenshot
Pop 21.77
Vit 1.00

LAPLib (Linear Algebra Performance Library) is an object-oriented software library which provides an elegant interface to access the optimized performance of these old-style libraries. LAPLib transparently handles all low-level details concerned with invocation of BLAS and LAPACK functions. Using LAPLib, developers can write expressions in a C++ object-oriented fashion and greatly reduce the complexity associated with using BLAS and LAPACK routines while maintaining excellent performance.

Screenshot

Project Spotlight

Aspose.Email for Java

A Java componentomor reading and writing Outlook MSG files.

Screenshot

Project Spotlight

nss-pam-ldapd

NSS and PAM modules for name lookups using LDAP.