Calculus
An interpreter of lambda calculus.It shows reduction process of lambda terms.Several evaluation strategies are supported.Output format can be selected from LaTex, plain text.
Platforms: Windows, Mac, Solaris, Linux
License: Freeware | Size: 51.81 KB | Download (48): PetitLambda Download |
VMatrixLib is a little, handy, Java matrix library which implements a set of utility functions (such as calculus of the determinant of a matrix, calculus of the rank, inverse matrix, and many others..) that anyone who have to use matrices needs.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 23.84 KB | Download (50): VMatrixLi Download |
This e-book is based on the Student Edition of MATLAB 7, which includes a symbolic toolbox. The Professional Edition may of course also be used. The goal is to exploit a restricted subset of MATLAB commands and functions to explore most of the elements of undergraduate mathematics. All items from...
Platforms: Matlab
License: Freeware | Size: 40.96 KB | Download (41): Alternative Mathematics using MATLAB 7 Download |
It is a free development library based on (or extending) the Qt library. The QVision is mainly oriented to create Qt applications for computer vision, image and video processing. This library focus mainly on educational and research purposes, usability and performance. It has a clean and well...
Platforms: *nix
License: Freeware | Size: 6.35 MB | Download (39): QVision Download |
FC-Win (tm) is a front-end program for FortranCalculus (tm). The FortranCalculus (FC) language is for math modeling, simulation, and optimization. FC is based on Automatic Differentiation that simplifies computer code to an absolute minimum; i.e., a mathematical model, constraints, and the...
Platforms: Windows, Windows Server
License: Freeware | Size: 3.66 MB | Download (43): FC Win Download |
Math games and Puzzles. Math Games. Speed Math Deluxe - Use addition, subtraction, multiplication and division to solve an equation as quickly as possible! Free educational elementary and preschool math games and online lessons. Free online math activities for kids. Math lessons on counting...
Platforms: Windows
License: Freeware | Size: 29 KB | Download (813): Math game - puzzle. Download |
This Excel addin performs multi-precision floating point arithmetic. Perhaps the first package that extends the standard Excel precision from 15 up to 200 significant digits. It is for Excel 97/98 and consists of a set of 50 functions for arithmetic, trigonometric, logarithm, exponential...
Platforms: Windows
License: Freeware | Size: 130 KB | Download (212): XNUMBERS Download |
AlgoSim is a numerical calculator with features such as function plotting, one variable statistical analysis, and visual creation of user-defined algorithms. The program has calculus features, represented by numerical differentiation, integration and localization of stationary points....
Platforms: Windows
License: Freeware | Size: 780 KB | Download (291): Algorithm Simulator Download |
If the standard Windows calculator isn+t enough for you, you should try this incredible MaatPlus. It is a powerful program that, in addition to doing the usual calculator functions, also lets you print the results. It has support for basic calculus operations and also for more complicated...
Platforms: Windows
License: Freeware | Size: 2 KB | Download (116): MaatPlus Download |
CaRevol Jet is a scientific and mathematical tool that works to make complicated engineering calculations, formulas, etc. It lets you add up, subtract, multiply, and divide complicated numbers, plus power operations, logarithms, calculus, trigonomics, inverse functions, etc.This way, you can do...
Platforms: Windows
License: Freeware | Size: 8 KB | Download (105): Carevol Jet Download |
Application for displaying 2D and 3D graphs for web presentation and for functions of 3 dimentions.As a calculus student I was fascinated by the shapes of 3d functions. After a short while I decided to give shape to the functions I learned about and the result was 3D Graph!
Platforms: Windows
License: Freeware | Size: 17.83 KB | Download (269): 3D Graph Download |
Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. Please Note: I am currently targetting a small subset of Maxima, while maintaining a medium-term goal of supporting all of Maxima. Please bear in mind that although Kayali probably...
Platforms: *nix
License: Freeware | Size: 563.2 KB | Download (105): Kayali Download |
Charlix is a desktop assistant that is based on AIML (Artificial Intelligence Markup Language) and is compatible with any AIML interpreter with a working tag. Charlix assistent provides Web searching tools, a dictionary, a calculator, weather, translations, and more. If you ask Charlix his...
Platforms: *nix
License: Freeware | Size: 20.48 KB | Download (133): Charlix Download |
JOLIE is an interpreter for a new high level programming language, designed for SOAs (Service Oriented Architecture) orchestration (as, for example, WSBPEL by OASIS). The whole program is written entirely in Java to ensure cross-platform capabilities, following strictly an object-oriented...
Platforms: *nix
License: Freeware | Size: 235.52 KB | Download (90): JOLIE Download |
Math::Symbolic is a Perl module for symbolic calculations. SYNOPSIS use Math::Symbolic; my $tree = Math::Symbolic->parse_from_string(1/2 * m * v^2); # Now do symbolic calculations with $tree. # ... like deriving it... my ($sub) = Math::Symbolic::Compiler->compile_to_sub($tree); my...
Platforms: *nix
License: Freeware | Size: 102.4 KB | Download (96): Math::Symbolic Download |
Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction. Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural...
Platforms: *nix
License: Freeware | Size: 368.64 KB | Download (98): Domino on Acid Download |
Ghost Diagrams is a project that takes sets of tiles and tries to find patterns into which they may be formed. The patterns it finds when given randomly chosen tiles are often surprising. It turns out that tiling patterns are a form of computation of equal power to Turing machines, lambda...
Platforms: *nix
License: Freeware | Size: 33.79 KB | Download (106): Ghost Diagrams Download |
RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...
Platforms: *nix
License: Freeware | Size: 225.28 KB | Download (93): RMoX Download |
Boost.Join is an asynchronous, message based C++ concurrency library based on join calculus. It is applicable both to multi-threaded applications and to the orchestration of asynchronous, event-based applications. The project follows Comegas design and implementation and builds with Boost...
Platforms: *nix
License: Freeware | Size: 58.37 KB | Download (99): Boost.Join Download |
NashelskyBoylestad is a transistor configuration tool. It allows you to perform some of the calculus made for certain type of transistor configurations, like IB, AV, Ai, Zi, Zo, etc.
Platforms: Mac
License: Freeware | Size: 56 KB | Download (117): NashelskyBoylestad Download |