Search Results for "source" - Page 60

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

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

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

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

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

A fuzzy logic toolbox written in Java.

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

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.

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.

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

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

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.

Are you always tired of searching the Windows calculator from some weird location from you PC? Zinuc is a web only, very simple, but powerful calculator. You don't have to download anything to use it. Check out the web pages to find out more.

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

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

Octaviz is a visualization system for Octave

Spanish-language PHP application dedicated to graph polynomial functions.

Ceme Evaluates Math Expressions. Ceme is a free math expression parser library written in C# supporting various operators and functions. It also has the option of adding your own functions. A wrapper DLL is provided for non .NET applications.

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

Let P be a 2D point expressed in a plane area defined by four 2D points A,B,C,D. The aim of our C++ class is to express the coordinates of P in order to match when A,B,C,D is rectified as a rectangle. A demo application shows the use of the C++ class.

dynGraph est un module de FactoMineR qui permet de manipuler des graphiques interactifs.

A topological data structure to handle 2D simplicial meshes (using the Morse operators published by authors). This data structure is implemented using C++ and it is based on the classical Half-Edge. This code started in 2002 and it has been used in many