Infinitesimal Calculus Leibniz
NashelskyBoylestad is a transistor configuration tool. It allows you to perform some of the calculus made for certain type of transistor configurations, like IB, AV, Ai, Zi, Zo, etc.
Platforms: Mac
License: Freeware | Size: 56 KB | Download (121): NashelskyBoylestad Download |
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
License: Shareware | Cost: $19.00 USD | Size: 6.51 MB | Download (119): Quick Calculus Download |
If the standard Windows calculator isn+t enough for you, you should try this incredible MaatPlus. It is a powerful program that, in addition to doing the usual calculator functions, also lets you print the results. It has support for basic calculus operations and also for more complicated...
Platforms: Windows
License: Freeware | Size: 2 KB | Download (116): MaatPlus Download |
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
License: Freeware | Size: 102.4 KB | Download (113): Lambda Download |
CaRevol Jet is a scientific and mathematical tool that works to make complicated engineering calculations, formulas, etc. It lets you add up, subtract, multiply, and divide complicated numbers, plus power operations, logarithms, calculus, trigonomics, inverse functions, etc.This way, you can do...
Platforms: Windows
License: Freeware | Size: 8 KB | Download (111): Carevol Jet Download |
DreamCalc is the Ultimate Free Scientific Graphing Calculator for Windows. A slick math application that's so realistic, you'll never reach for your hand-held calculator again!
Not only does DreamCalc give you an intuitive and almost tactile experience, it is a fully featured graphing...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Shareware | Cost: $24.99 USD | Size: 4.89 MB | Download (108): DreamCalc Scientific Graphing Calculator Download |
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
License: Freeware | Size: 33.79 KB | Download (106): Ghost Diagrams Download |
Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. Please Note: I am currently targetting a small subset of Maxima, while maintaining a medium-term goal of supporting all of Maxima. Please bear in mind that although Kayali probably...
Platforms: *nix
License: Freeware | Size: 563.2 KB | Download (105): Kayali Download |
Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction. Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural...
Platforms: *nix
License: Freeware | Size: 368.64 KB | Download (104): Domino on Acid Download |
iMathGeo is a software I began to develop 10 years ago when I was a student in math. At the beginning, it was only to simplify my teachers' lives in maths. The first target was to have the best solution to write the faster as possible mathematic text. I develop this software in multiple...
Platforms: Mac
License: Shareware | Cost: $0.00 USD | Download (104): iMathGeo Download |
Math::Symbolic is a Perl module for symbolic calculations. SYNOPSIS use Math::Symbolic; my $tree = Math::Symbolic->parse_from_string(1/2 * m * v^2); # Now do symbolic calculations with $tree. # ... like deriving it... my ($sub) = Math::Symbolic::Compiler->compile_to_sub($tree); my...
Platforms: *nix
License: Freeware | Size: 102.4 KB | Download (102): Math::Symbolic Download |
Boost.Join is an asynchronous, message based C++ concurrency library based on join calculus. It is applicable both to multi-threaded applications and to the orchestration of asynchronous, event-based applications. The project follows Comegas design and implementation and builds with Boost...
Platforms: *nix
License: Freeware | Size: 58.37 KB | Download (99): Boost.Join Download |
JOLIE is an interpreter for a new high level programming language, designed for SOAs (Service Oriented Architecture) orchestration (as, for example, WSBPEL by OASIS). The whole program is written entirely in Java to ensure cross-platform capabilities, following strictly an object-oriented...
Platforms: *nix
License: Freeware | Size: 235.52 KB | Download (96): JOLIE Download |
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
License: Shareware | Cost: $0.00 USD | Download (93): Calculus Download |
RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...
Platforms: *nix
License: Freeware | Size: 225.28 KB | Download (93): RMoX Download |
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
Platforms: Mac
License: Freeware | Size: 11.2 MB | Download (92): Coq Download |
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
License: Demo | Cost: $60.00 USD | Size: 3.75 MB | Download (91): Visual Calculus Download |
The Geometer's Sketchpad (GSP5)... With a 20-year record of classroom success, The Geometer's Sketchpad is the world's leading software for teaching mathematics. Instructors have named it the Best Educational Software of all Time. Sketchpad gives students a tangible, visual way to learn...
Platforms: Mac
License: Demo | Cost: $29.95 USD | Size: 82.3 MB | Download (59): GSP5 Download |
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
License: Freeware | Download (58): Discrete Event Calculus Reasoner Download |
True Financial calculator, Investment, Inflation, Statistics, Graphing & Maths software.Financial calculator for Mortgages, Loans, Leases, Cash Investments, Funds & Retirement estimates.Exact date or period calculation. Choice of interest calculations, from simple to compound, from flat to...
Platforms: Windows
License: Shareware | Cost: $222.00 USD | Size: 15.69 MB | Download (56): RICalc Download |