Mac
Mac
Windows
Log in / Sign up
Mac
›
Tags
›
sequent calculus
Featured
Sequent Calculus
Software
Relevance
Popularity
Rating
GeoGebra
free
1,123
GeoGebra Team
GeoGebra is a dynamic mathematics software for education in secondary schools that joins...
joins geometry, algebra and
calculus
GeoGebra 5
free
665
International GeoGebra Institute
GeoGebra 5 is a free dynamic mathematics application for all levels of education that brings together...
spreadsheets, graphing, statistics and
calculus
in one easy-to
PocketCAS
137
Daniel Alm
PocketCAS is a very advanced mathematics application which can help you with any kind...
the way up to
calculus
, algebra and statistics...It makes college-level
calculus
and algebra easy
iMathGeo
31
Philippe Logel
iMathGeo is a software I began to develop 10 years ago...
directions: formula
calculus
, graphics, matrix, basic differential
calculus
Graphmatica
26
Keith Hertzer
Graphmatica is a powerful, easy-to-use, equation plotter...
plotter with numerical and
calculus
features. Graph Cartesian...algebra through college
calculus
Calculus
20
AsramSoftware
Useful calculator that besides the usual converting functions (Temperature...
Calculus
is a useful calculator
Free Graphing Calculator 2
free
17
William Jockusch
Free Graphing Calculator 2 is a complex calculator for your Mac. Therefore, the app provides...
and integral
calculus
, geometry, trigonometry, vectors, vector
calculus
, and classical
Sequent
11
Loomer
Sequent has seven individual effect blocks: a Beat Looper; two Filters...
Sequent
is a modular multi-effects...or in the studio.
Sequent
has seven individual effect
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
Anagopos
free
4
Jeroen Ketema
Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting...
of terms in lambda
calculus
and term rewriting. Anagopos
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...
with variants of the
sequent
calculus
and natural deduction
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...
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
Essential Calculus
1
com.codeweavers
Syllabus | Multivariable Calculus | Mathematics | MIT OpenCourseWare
1
Google
Pre-Calculus
1
com.tt
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
1
2
3
Tags
Algebra
Calculus
Equation
Geometry
Graphing Calculator
Mathematics
Numerical Calculator
Spreadsheet
Statistics
Variable Equations
