Calculus
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...
Platforms: Windows, Mac, *nix, C/C++, BSD Solaris
License: Freeware | Download (58): Discrete Event Calculus Reasoner Download |
License: Freeware | Size: 378 KB | Download (154): Calculus Help Download |
This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools
Platforms: Windows, Mac, Linux
License: Freeware | Size: 28.47 MB | Download (48): Pi Calculus for SOA Download |
The Fuzzy Relational Calculus Toolbox is companion software to the book Fuzzy Relational Calculus - Theory, Applications and Software (with CD-ROM) by Ketty Peeva & Yordan Kyosev, ISBN 981-256-076-9, Advances in Fuzzy Systems Applications and Theory - Vol. 22, World Scientific Publishing...
Platforms: Matlab
License: Freeware | Size: 61.44 KB | Download (46): Fuzzy Relational Calculus Toolbox, Rel.(Scripts) Download |
Robot4 (tm) is a Robotic Arm Movement program where the arm is moved from a given position to a desired position. The program finds the angles necessary for the desired position. Problem came from NASA. Robot4 is an Inverse Problem example. It wants to solve how to move from starting point...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 3.49 MB | Download (169): Robot4 Download |
Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda...
Platforms: *nix
License: Freeware | Size: 102.4 KB | Download (113): Lambda Download |
CWC Simulator is a C++ implementation of CWC (Calculus of Wrapped Compartments).
This package is basically a rewriting-based calculus for the representation and simulation of biological systems.
Platforms: Windows
License: Freeware | Download (434): CWC Simulator Download |
Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus.
Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after...
Platforms: Windows
License: Freeware | Download (467): Lambda Animator Download |
This package is created with the highly appreciated theoretical help and under the supervision of Prof. DSc. Ketty Peeva.Theoretical results and methods can be found in:1. B. De Baets, Analytical solution methods for fuzzy relational equations, in the series: Fundamentals of Fuzzy Sets, The...
Platforms: Matlab
License: Freeware | Size: 20.48 KB | Download (45): Fuzzy Calculus Core (FC2ore) Download |
FC-Compiler (tm) is a Calculus-level Compiler, helps Tweak parameters.. 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,...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 11.12 MB | Download (480): FC Compiler Download |
CurvFit (tm) is a curve fitting program for Windows. Lorentzian, Sine, Exponential and Power series are available models to match your data. A Lorentzian series is highly recommended for real data especially for multiple peaked and/or valleys data.
CurvFit is another improved productivity...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 7.28 MB | Download (581): CurvFit Download |
ODEcalc for Windows: An Ordinary Differential Equation (ODE) Calculator! State your equation and boundary or initial value conditions and it solves your problem. Plots solution y and derivative ydot versus x.
Solves most Boundary Value Problems (BVP) and Initial Value Problems (IVP) for...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 3.81 MB | Download (465): ODEcalc Download |
The first package for multi-precision floating point arithmetic in Excel 97/2000, with 160 functions for arithmetic, trigonometric, logarithm, exponential, hyperbolic calculus. Linear Algebra: System resolution with Gauss-Jordan algorithm (also in a didactic step-by-step method). Gauss-Seidel...
Platforms: Windows
License: Freeware | Size: 700 KB | Download (231): Xnumbers2 Download |
Pulse shaping filter program that finds the pole-zero locations of a transfer function, H(s), for a matched filter. H(s) equals a -desired- signal (Yout) divided by a given input signal (Yin). Both Yout and Yin are functions of frequency.
Group delay may also be calculated to compliment a...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 3.6 MB | Download (181): Match n Freq Download |
GeoGebra project is a dynamic mathematics software that joins geometry, algebra, and calculus. Two views are characteristic of GeoGebra: an expression in the algebra window corresponds to an object in the geometry window and vice versa. GeoGebra - Dynamic Mathematics for Schools
Platforms: *nix
License: Freeware | Download (196): GeoGebra Download |
FC-Win is a comprehensive tool for creating, simulating and optimizing Fortran Calculus math models.
FC is based on Automatic Differentiation (AD) that simplifies computer code to an absolute minimum; i.e., a mathematical model, constraints, and the objective (function) definition.
Minimizing...
Platforms: Windows
License: Freeware | Download (460): FC-Win Download |
GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...
Platforms: Mac
License: Freeware | Size: 14 MB | Download (538): GeoGebra for Mac Download |
GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...
Platforms: Windows
License: Freeware | Size: 61.25 MB | Download (514): GeoGebra Portable Download |
Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD
Platforms: Mac
License: Freeware | Size: 2.79 MB | Download (47): a generic NTCC interpreter capable of RT Download |
A Lightweight Coordination Calculus (LCC) Interpreter for Java
Platforms: Windows, Mac, Linux
License: Freeware | Size: 902.84 KB | Download (43): LiJ Download |