Mac
Mac
Windows
Log in / Sign up
Mac
›
Tags
›
lambda calculus
Most popular
Lambda Calculus
software
Relevance
Popularity
Rating
Isabelle
free
8
Larry Paulson,Tobias Nipkow,Makarius Wenzel
Isabelle is a generic proof...
those formulas in a logical
calculus
. Isabelle is developed
GeoGebra Math Apps
free
7
International GeoGebra Institute
GeoGebra Math Apps lets you solve math problems, graph functions, create geometric constructions...
constructions, do statistics and
calculus
, whose results you can
The Real Texas
5
Kitty Lambda Games Inc.
The Real Texas is an action-RPG with strategic real-time combat and many-layered puzzles...
The Real Texas is an action-RPG with strategic real-time combat and many-layered puzzles. Sam
Graphulator With Calculus
free
5
Missing Socks Company
Graphulator With Calculus is a numerical graphing calculator for 2 or 3 variable equations...
Graphulator With
Calculus
is a numerical graphing...which can perform
calculus
on non-functions
CalcCenter
4
Wolfram Research
Mathematica CalcCenter is a powerful and easy...
in functions for algebra,
calculus
, graphics, data analysis
Basic Tax Formulas
free
4
Vegh Ferenc Robert
Basic Tax Formulas provides two scientific calculators, so you can perform complex...
Basic Tax Formulas provides two scientific calculators, so you can perform complex calculations
iCalc
4
zhongkai
iCalc is a powerful and efficient scientific calculator with a beautiful interface. The application is simple...
iCalc is a powerful and efficient scientific calculator with a beautiful interface. The application
Anagopos
free
4
Jeroen Ketema
Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting...
graphs of terms in
lambda
calculus
and term rewriting. Anagopos
Graphulator for Desktop
free
4
Missing Socks Company
Graphulator for Desktop is a numerical graphing calculator for 2 or 3 variable equations...
independently. It can perform
calculus
on non-functions numerically
Astrodynamics Calculator
4
loay setrak
Easy to use App that Contains 24 Calculators Astrodynamics Calculator includes the following Calculators...
Gravitational Wave Luminosity - Cosmological
Lambda
Density Parameter - Hubble Parameter
FriCAS
free
3
Waldek Hebisch
FriCAS is an advanced computer algebra system. Its capabilities range...
Its capabilities range from
calculus
(integration
Jape
free
3
Richard Bornat, Sufrin
Jape is a configurable graphical formal-proof calculator. It's possible to define a logic...
variants of the sequent
calculus
and natural deduction
Principles of Physics
2
Kinetic Books Company
This version of the textbook is also appropriate for college...
but does not require
calculus
Lambda Calculator TE
2
Lambda Calculator SE
free
2
Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford
The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice...
The
Lambda
Calculator is an interactive...derivations in the typed
lambda
calculus
. It is designed
Graphulator Graphing Calculator for Desktop
2
Missing Socks Company
Graphulator Graphing Calculator for Desktop is a numerical graphing calculator for 2...
The tool can perform
calculus
on non-functions numerically
CSA LivePanel Desktop
1
com.piaction.lambda.CsaLivePanel.C7460F4855CFA48A84B3054F7CF3763326550D5A
Math workpad
free
1
Opera widgets
A programmable workpad for mathematics. This widget lets you evaluate complex...
in functions for trigonometrics,
calculus
and more
1
2
3
Tags
Calculus
Complex Calculation
Equation
Graphing Calculator
Layered Puzzles
Numerical Calculator
Scientific Calculus
Teach Mathematics
Texas Rancher
Variable Equations