Featured

Lambda Calculus

Software

Relevance Popularity Rating

GeoGebra Classic 6

free

877

International GeoGebra Institute

GeoGebra Classic 6 lets you solve Math problems and graph functions, create geometric constructions...

functions, do statistics and calculus, create geometric constructions

Half-Life 2

573

Valve Corporation

Half-Life 2 is the sequel to the classic FPS game, Half-Life...

physicist who joins the Lambda Resistance to fight

Eigenmath

free

311

George Weigt

Eigenmath is a free symbolic calculator that is fun to use. The manual includes example...

for typical problems in calculus and linear algebra

Math Library by WAGmob

247

WAG Mobile Inc.

Math Library is a teaching application for Mac that provides...

algebra operations, calculus functions...chapters (Algebra, Calculus, etc.)

ExpressionsinBar

Alelvisoftware

ExpressionsinBar is a simple menubar application which provides powerful computer...

2d) Polynomials algebra Algebraic calculus Numerical calculus Derivatives

SpaceTime

Centurion Games

Move, zoom and rotate 2D, 3D and time graphs in real-time. Explore mathematical concepts...

system for algebra and calculus

Equation Calculator

Pacific Tech

Equation Calculator is a scientific calculator which does symbolic and algebraic...

algebraic manipulation, algebra and calculus as well as numeric

Quick Calculator

free

esoft.studio

Quick Calculator is a simple calculator for your Mac. You just need to enter an expression...

Quick Calculator is a simple calculator for your Mac. You just need to enter an expression

Isabelle

free

Larry Paulson,Tobias Nipkow,Makarius Wenzel

Isabelle is a generic proof...

those formulas in a logical calculus. Isabelle is developed

GeoGebra Math Apps

free

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

Basic Tax Formulas

free

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

Graphulator for Desktop

free

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

FriCAS

free

Waldek Hebisch

FriCAS is an advanced computer algebra system. Its capabilities range...

Its capabilities range from calculus (integration

Jape

free

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

Kinetic Books Company

This version of the textbook is also appropriate for college...

but does not require calculus

Graphulator Graphing Calculator for Desktop

Missing Socks Company

Graphulator Graphing Calculator for Desktop is a numerical graphing calculator for 2...

The tool can perform calculus on non-functions numerically

Mathematical Visualization Toolkit

free

Department of Applied Mathematics

The Mathematical Visualization Toolkit (MVT) is a set of visual and computational...

grasp the concepts of calculus. This tool includes plotting

Math workpad

free

Opera widgets

A programmable workpad for mathematics. This widget lets you evaluate complex...

in functions for trigonometrics, calculus and more

MathGraph 32

free

Yves Biton

MathGraph 32 is a math-based graphing tool designed for teachers who want to reveal the secrets of geometry...

their students complex numbers calculus...real or complex calculus syntax

Afnix programming language

Ethernix

AFNIX is a multi-threaded functional programming language...

standard objects and containers, lambda expression with explicit closure

Lambda Calculus

Tags