Added: August 24, 2010 | Visits: 834
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
Released: October 26, 2012
|
Added: October 26, 2012 | Visits: 572
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
Released: December 10, 2012
|
Added: December 10, 2012 | Visits: 261
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
Added: November 06, 2010 | Visits: 1.334
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
Released: September 17, 2012
|
Added: September 17, 2012 | Visits: 336
Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation.
Platforms: Windows, Mac, Linux
Released: July 22, 2012
|
Added: July 22, 2012 | Visits: 341
This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.
Platforms: Windows, Mac, Linux
Released: October 15, 2011
|
Added: November 02, 2011 | Visits: 1.201
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...
Platforms: Windows
Released: August 08, 2012
|
Added: August 08, 2012 | Visits: 596
Lambda Expression Parser is a handy and useful expression parser for parsing dynamical expression string to lambda expression.
The component can perform math, logical and bit-wise calculations. Get Lambda Expression Parser and take it for a spin to see what it can actually do for you!
Platforms: Windows
Released: June 03, 2016
|
Added: July 19, 2016 | Visits: 715
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
Added: May 10, 2013 | Visits: 522
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
Released: September 21, 2013
|
Added: November 10, 2013 | Visits: 739
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
Added: August 30, 2008 | Visits: 1.404
A series of solved calculus exercises, with step-by-step shown.
Platforms: Windows
Released: August 07, 2012
|
Added: August 07, 2012 | Visits: 565
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
Added: July 05, 2013 | Visits: 412
This function will calculate the wavelength of a given frequency. By default the program will presume the entered value is in MHZ. However if you want to enter a frequency in another scale you also have the option to enter the scaling parameter as well (khz,mhz, or ghz).function...
Platforms: Matlab
Added: May 15, 2013 | Visits: 530
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
Added: May 20, 2013 | Visits: 411
Because the Lambda-Physik FL3001 and FL3002 tunable dye lasers are old, they require a protocol that is now outdated. This package includes a stand-alone version of the GPIB dll file interface to a GPIB board, and a set of m-file wrappers to the dll file. This .zip also contains m-files that use...
Platforms: Matlab
Added: November 25, 2013 | Visits: 413
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
Released: March 09, 2009
|
Added: August 15, 2014 | Visits: 6.353
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
Released: January 04, 2000
|
Added: January 04, 2000 | Visits: 7.909
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
Released: December 07, 2006
|
Added: December 07, 2006 | Visits: 3.130
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