Calculus

Quick Calculus, a simple yet powerful tool for computing the derivatives, integrals, Taylor series, and limits of functions. KeatsSoft Quick Calculus helps you quickly find the solutions of calculus problems, freeing you from the tedious manipulation of mathematical equations. Through an...

Visual Calculus is an easy-to-use calculus grapher for Graphing limit, derivative function, integral, 3D vector, double integral, triple integral, series, ode etc. Which can create 2D, 2.5D and 3D function graphs, animations and table graphs. 2D Features: explicit, implicit, parametric, and in...

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

Visual Calculus is an easy-to-use calculus grapher for Graphing limit, derivative function, integral, 3D vector, double integral, triple integral, series, ode etc. Which can create 2D, 2.5D and 3D function graphs, animations and table graphs. 2D Features: explicit, implicit, parametric, and in...


Platforms: Windows, Windows 7, Windows Server

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

This demo has been designed for the purpose of illustrating the power of 'Event Calculus' on High Frequency Finance. The demo is based on a working paper by E.Tsang, R. Olsen and S.Masry. The idea is briefly explained in a video.


Platforms: Mac

Powerful but easy-to-use graphing, curve fitting and calculating software. Graphs Cartesian (Y(x) and X(y)), polar and parametric functions, graphs of tables, equations (implicit functions), inequalities and slope fields. Up to 100 graphs in one window. Calculus features: regression analysis,...


Platforms: Windows

Fortran Calculus Compiler: Calculus level computer languages are Fortran Calculus and PROSE. Both languages are based on what is called "Automatic Differentiation" (AD). Calculus languages simplify computer coding to an absolute minimum; i.e., a mathematical model, constraints, and the objective...


Platforms: *nix

Group delay may also be calculated to compliment a given data set, thus, providing a flat group delay. Minimizing Intersymbol Interference in a read/write channel for disc drives by shaping and slimming an isolated readback pulse was the main objective for writing this program. For more info,...


Platforms: Windows

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

Calculus is a useful calculator that besides the usual converting functions (Temperature, Pressure, Speed etc.) handles currency-convertion. If used only to get x-rates from the Net, it is a freeware application.Double display in conversion mode: it shows both the entity converting from (i.e....


Platforms: Mac

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

a powerful, easy-to-use, equation plotter with numerical and calculus features: - Graph Cartesian functions, relations, and inequalities, plus polar, parametric, and ordinary differential equations. - Up to 999 graphs on screen at once. - New data plotting and curve-fitting features. -...


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