Search Results for "gnu/linux" - Page 67

libit provides easy to use yet efficient tools for C for signal processing, coding, or scientific code in general. It includes basic vector, matrix and function types, some common source and channel coding tools such as quantization, entropy coding, etc.

This repository is not in active use; the project lives at: https://r-forge.r-project.org/projects/spdep/

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

libhdlfltp is a VHDL library of floating point operators, all of which are parametrized, synthesizable to FPGAs and cover a number of the core operators in math.h.

scientific calculator in j2me for mobile phones - with standard functions(sin,cos,ln etc) - variables, plotting (func,parm,pol etc)

v3xforum is a simple forum that can be used to communicate mathematics using tools such as MathML, LaTeX and tralics.

Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

This is a C++ linear algebra library, with dynamic vectors and matrix.

A fuzzy logic toolbox written in Java.

ExprEval pre-3.0 is a C based expression evaluation library. ExprEval 3.0 and later is a C++ based expression evaluation library. Features: 1. POEM - Parse once, evaluate many 2. Direct variable access 3. Support for custom functions 4. Seperate func/var

RAGE (Random Variate Generator) is a graphical tool for unidimensional discrete distributions. RAGE generates random values and simulates various discrete distributions by using different algorithms.

Numerical Resolution of the Inverse Problem for Chromatography using Evolutionary Algorithms and Adaptive Multiresolution. The goal is to identify the multicomponent equilibrium isotherm from experimental chromatograms.

Oxtor's math draw is a program for drawing graphs mathematicians, starting with the mathematical function,it is written in Java,supported oper is:+-*/()^root log sin cos tan asin acos atan ln. Constant: e and P e = the basis of natural logarithms P = PI

Genijatorics is a library providing solutions to enumerative combinatorial problems. The most prominent example of its use is for generating events in specified date range from CRON-like descriptions. It also serves for educational purposes.

GENIAL is a C++ library for signal and image processing. It uses template-generic techniques, multi threading, cache optimization and SIMD instructions for Pentium (MMX, SSE, SSE2, SSE3) to achieve high performance: FFT,DCT,Convolution,Linear Algebra...

UDA stands for Universal Descriptive Algebra. It consists of a Java package handling universal algebras and relational structures as description systems.

Not a whole lab, just a small bench ! **Feel free to contact me via https://sourceforge.net/sendmessage.php?touser=1865508 if you want to take over this project** Mathbench is intended for the development of short scripts such as those daily used when doing research in applied mathematics and physics. Simple widgets and a strong plugin system make it useful and extensible. ANNOUCEMENT: Mathbench's purpose is still relevant and could also benefit from the latest improvements of...

A math library for GMP. This library use the cmath as model and overloaded the principal math functions (sin, cos, tan, log... ). So, this make easy the development of generic programs.

l3lang is a persistent Python-like language and the l3gui provides a worksheet-like interface where computed values can be examined via simple selection and scripts can be assembled as structures.

Simple graphic plotter, write on c++, qt3.

MathCAD-like math software. Planned features include graphs, equations and more.

TekMath is a java/swing-based viewer for the Math Markup Language (MathML) that can be easily embedded in custom java applications. It supports both content and presentation markup languages, and depends on no external packages beyond the java runtime.

Command line descriptive statistics tools

Evalute mathematic expression in console. Released many functions and operations.

Spanish-language PHP application dedicated to graph polynomial functions.