Infinitesimal Calculus Leibniz

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

this program shows the electric field propagation from infinitesimal dipole antenna Platforms: Matlab

A series of solved calculus exercises, with step-by-step shown. Platforms: Windows

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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