Mathematics
MathDoggerX is a very very very simple Mathematics tutor. It presents 10 basic problems to be solved, displaying the time taken and mistakes made. It is still under active development (hence the "a1" after the version number) so may have some additional goodies added to it at some future stage.
Platforms: Mac
License: Freeware | Download (99): MathDoggerX Download |
AshSofDev Flash Cards is an addition, subtraction, multiplication, and division flash card program.
Platforms: Windows
License: Freeware | Size: 3.26 MB | Download (99): AshSofDev Flash Cards Download |
Unicode::Overload is a Perl source filter to implement Unicode operations. SYNOPSIS use charnames :full; use Unicode::Overload ( "N{UNION}" => infix => sub { my %a = map{$_=>1}@{$_[0]}; my %b = map{$_=>1}@{$_[1]}; return keys(%a,$b); }, "N{SUPERSCRIPT TWO}" => postfix => sub { $_[0] **...
Platforms: *nix
License: Freeware | Size: 5.12 KB | Download (97): Unicode::Overload Download |
Speak Freely is an application for Unix and Unix-like systems (Linux, FreeBSD, IRIX, etc.) with audio hardware, which allows you to talk (actually send voice, not typed characters) over a network. Speak Freely for Unix uses the workstation audio hardware and network to allow conversations of...
Platforms: *nix
License: Freeware | Size: 778.24 KB | Download (97): Speak Freely for Unix Download |
RIR to DNS converter is a tool to convert Regional Internet Registry data to a DNS country lookup zone. You can use it to build your own DNS zone for looking up country codes from IP addresses. It uses data directly from RIPE, ARIN, APNIC, LACNIC, and AFRINIC. The data can be updated on a...
Platforms: *nix
License: Freeware | Size: 614.4 KB | Download (97): RIR to DNS converter Download |
SwapSwapVM is an AppleScript application made with Smile written to change thetarget volume (disk; partition) for the Virtual Memory swapfiles in OS X10.2.x Jaguar. It has been vigorously tested on various configurations underOS X 10.2.0 through 10.2.6. SwapSwapVM requires a default installation...
Platforms: Mac
License: Freeware | Download (97): SwapSwapVM Download |
Regress+ is a user-friendly, state-of-the-art tool for mathematical modeling. It will optimize almost any univariate deterministic model (equation) as well as stochastic models (distributions) having at most five parameters. It offers features and functionality unmatched by any other available...
Platforms: Mac
License: Freeware | Download (95): Regress Plus Download |
Kaboot Linux Operating system aims to provide an operating system which you can take anywhere and has all your favourite programs on. Kaboot operating system is avaliable as a Live CD or Live USB you can take with you anywhere. A number of different versions are avaliable, two optimised for...
Platforms: *nix
License: Freeware | Size: 348.5 MB | Download (94): Kaboot Science Download |
PGAPy is a wrapper for pgapack, the parallel genetic algorithm library, a powerfull genetic algorithm library by D. Levine, Mathematics and Computer Science Division Argonne National Laboratory. The library is written in C. PGAPy wraps this library for use with Python. The original pgapack...
Platforms: *nix
License: Freeware | Size: 69.63 KB | Download (93): PGAPy Download |
IMathAS project is a Web-based math testing and homework system. IMathAS (Internet Mathematics Assessment System) is a Web-based math testing and homework system. It is a light course/learning management system and testing system, similar to and inspired by WebWork and WIMS, and similar to...
Platforms: *nix
License: Freeware | Size: 471.04 KB | Download (92): IMathAS 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 |
EsbDecimals is a free subset of the forthcoming ESBPCS for .NET - it includes Microsoft .NET Framework Assembly (v2.0, v3.0, v3.5 and v4.0 included) that have classes that supply Constants and Mathematical Routines for the Decimal Type supplied by the Framework.
Full C# source is included as...
Platforms: Windows
License: Freeware | Size: 2.89 MB | Download (92): EsbDecimals Download |
Software for teaching and learning mathematical proofs
Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
Platforms: Windows, Mac, BSD, Linux
License: Freeware | Size: 18.49 KB | Download (72): Lurch Download |
Inequality, or Futoshiki, is an exciting logic puzzle originated in Japan. Your goal in this game is to fill in all blanks with numbers as quickly as possible. In the first level of the game, you will be given a grid of 4x4 dimension. Some of the squares will be filled with numbers, while others...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 654.46 KB | Download (68): Futoshiki Download |
CalculationLaboratory - mathematical program that can handle scripts (your own programming language), also can process scripts extreme numbers (both decimal binary(256-bit number) and a 16-bit format).
There is also a Grapher. You can, when plotting to use both conventional and extreme number....
Platforms: Windows, Windows 7
License: Freeware | Size: 2.88 MB | Download (67): CalculationLaboratory Download |
Axiom is a general purpose system for doing mathematics by computer. It is especially useful for symbolic calculations, mathematical research and for the development of new mathematical algorithms.Axiom has a strongly-typed high-level programming language for expressing abstract mathematical...
Platforms: Windows, Mac, *nix, C/C++, BSD Solaris
License: Freeware | Download (64): Axiom Download |
KnowledgeMiner (yX) for Excel Free – Entry-Level Knowledge and Data Mining for Everybody.
Simple, objective, fast. Develop reliable predictive models in only two steps.
You know about the value of your data? Find unknown relevant relationships in your scientific, business or personal data...
Platforms: Mac
License: Freeware | Size: 39.1 MB | Download (62): KnowledgeMiner (yX) for Excel Free Download |
The Mnemosyne plugin for TeXmacs allows you to edit databases from the Mnemosyne flash-card program in TeXmacs,include or edit mathematicr edit mathematics in a fairly easy and efficient way.
Platforms: *nix, Python,
License: Freeware | Download (61): Mnemosyne Plugin for TeXmacs Download |
This is a PHP web application for creating custom Scale, Chord and Interval dictionaries and diagrams for any musical instrument. MySQL database tables enumerates all possible scales, chords and intervals (in the 12TET Universe) and their properties. phpMyChord Aims to provide: - Mathematically...
Platforms: Windows, Mac, *nix, PHP, BSD Solaris
License: Freeware | Download (61): phpMyChord Download |
MathJax is a modular javascript framework for including mathematics in web pages. It can take input in various formats, like TeX and MathML, and can produce output in various forms, such as MathML or HTML-with-CSS. Components are loaded as needed.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 803 B | Download (59): MathJax Download |