Search Results for "mathematics"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Generic optimization of on demand calculation. Generation of C# code for data model and computation code Definition of the xF language IDE: edition of xF project. Excel 2010 Addin available

F2what is an open source project to translate algorithmic fortran to a variety of languages (java, dotnet and VBA so far). It offers a Fortran77 parser with code transformations, variable disambiguation, and modular output to other programming languages. It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages.

Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.

Foma is a compiler, programming language, and C library for constructing finite-state automata and transducers for various uses. It has specific support for many natural language processing applications such as producing morphological analyzers.

1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.

Small and lightweight .NET 2.0 library written in C# for quickly evaluating arithmetical expressions using interpretation or runtime MSIL generation.

Moved to Google Code, see http://code.google.com/p/pythonequations/downloads/list

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.

{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.

neuralnetgen is intended to be a universal neural net generator that receives a neural net description (on Neural Net Description Language, also developed on this project) and generates ANSI C code of a library that implements it.

ARPI is a spanish acronym for Analysis, Acknowledgement and Image Procesing. Allowing a person with poor programming knowledge to create algorithms, configure theirs parameters(images, matrixes, etc) and run them, using a computer or network computers.

The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).

kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.

It's a developer system which work with graphical source code.

The OptControlCentre (OCC) is an user-friendly software package for the optimization of dynamic systems in energy and chemical engineering. Optimization methods include SQP methods as well as a stochastic approach using Simulated Annealing.

The Python Genetic Programming Project implements a Genetic Programming System a la J Koza in Python.

A completely portable C++ library, to provide a standard set of classes similar to Java Common API. It's highly efficient and it follows the Embedded C++ Standard. It's FREE (LGPL licensed).

XlsToFormula fits a scenario, in financial institutions, where xls files are maintained by financial departments, then comes an software application that needs to make use of that (usually large) xls file. Running Excel on the server side is not a feasible solution. Even Office Web Components is not that efficient handling large files. The solution? XlsToFormula; light, fast and running executable.