Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.072.793 Times

Toy Proofs 0.1

Company: Nathan Carter
Date Added: June 20, 2013  |  Visits: 215

Toy Proofs

Report Broken Link
Printer Friendly Version


Product Homepage
Download (21 downloads)

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.

Requirements: No special requirements
Platforms: Mac, Mac OSX
Keyword: Application Documentation Environment Explains Formality Games Increasingly Introducing Lessons Mathematical Notion Playground Progression Proofs Released Rigor Simple
Users rating: 0/10

License: Shareware Size: 29.07 MB
TOY PROOFS RELATED
Programming  -  Micro Window-Gadgets Builder 0.1.3
Micro Window-Gadgets Builder or in short UWGBuilder is a rapid application development environment (or IDE) for UWG (micro window-gadgets). Essentially it is a graphical editor for UWG user-interfaces, with project-control and other handy bits....
 
Development Tools  -  SteelBlue 2.1b2 1.0
SteelBlue is an open-source Web application server environment in which Web-database applications can be developed completely in an extended HTML language. Similar to ColdFusion and Story Server, session and user-associated data as well as SQL...
 
Utilities  -  SOPE Application Server 4.5.9
SOPE Application Server is an extensive set of frameworks (16 frameworks, ~1500 classes) which form a complete Web application server environment. Besides the Apple WebObjects compatible appserver extended with Zope concepts, it contains a large...
4 MB  
Simulation Games  -  Language games simulation environment 1.0
ELGE - Environment for language games experiments.
269.22 KB  
Development Editors  -  Xinity BASE 2.2
Xinity BASE (Business Application Standard Environment) is a Java-based framework that allows easy development and integration of databased rich-applications using xml. a set of modules already ship with the framework like a CMS, HRM & some...
18.24 MB  
Development Editors  -  Visual Tcl 1.6.0
Visual Tcl is a freely-available, high-quality application development environment for UNIX, Windows, Macintosh and AS400 platforms. Visual Tcl is written entirely in Tcl/Tk and generates pure Tcl/Tk code. This makes porting your Visual Tcl...
542.72 KB  
Education  -  Egg_Importance 1.0.0.0
The application "Egg Importance " explains about the importance of an Egg. it is very useful to every one to utilize the resources in right way from the environment. Requirements: Windows Phone 8.1, Windows Phone 8
1024 KB  
Libraries  -  TclFltk 1.0.423.0-19
TclFltk is specially developed as a dynamic extension to the Tcl/Tk application development environment. It is able to implement a language binding between Tcl/Tk and the Fast Light Tool Kit (FLTK). Using this extension you can develop GUI...
 
Development Editors  -  FlexSemanticP2P 1.0.1 Snapshot
FlexSemanticP2P, also known as the Flexible Semantic Peer-to-Peer Application Framework was specially built to be a framework that supports the Java-based loose-coupled, light-weight P2P application running environment and API. With the help of...
 
Development Tools  -  slimrad 0.1
slimrad is a RAD (Rappid Application Development) environment based on PHP. With this tool you can build database backend-ed web applications in hours.The code is easy to customize to suit your need. It can be rapidly integrated into your own...
 
NEW DOWNLOADS IN EDUCATION, TEACHING TOOLS
Education  -  Peppa Popper 1.0
Peppa Popper I was inspired by a children???*a*?s TV show Peppa Pig visits Daddy Pig???*a*?s Office and the fact that my daughter (aged 16 months) has been taking marginally more interest in the computer. So I did a quick...
807 B  
Education  -  Sliding Down an Incline Plane Model 1.0
This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...
51.2 KB  
Education  -  MrAIC 1.4.4
MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...
10.24 KB  
Education  -  HapEvolution 1.0
Complex diseases involve multiple genes with low penetration which may be distributed over the genome. Most of the current haplotype association methods are typically restricted in length and consist of alleles from contiguous SNPs. These...
1.61 MB  
Education  -  Three Charges 1.0
In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...
1.36 MB  
Teaching Tools  -  KeyBlaze Free Mac Typing Tutor 2.15
KeyBlaze is a typing tutor software program designed to assist with learning how to speed type and touch type. The software allows you to start with basic lessons such as Home Keys for index, middle and pinky fingers and practice lessons including...
2.65 MB  
Teaching Tools  -  AnkiApp Flashcards 1.7.3
AnkiApp is a simple, efficient, flashcard app that lets you study at your own pace, whenever you have time. It works on your phone and tablet too, and synchronizes automatically between all your devices. AnkiApp fully supports the latest...
3.32 MB  
Teaching Tools  -  5Tuners 1.0
With the help of this easy to use app you can tune 5 string instruments. Just click on the button and tune the music instrument with the sound of the tuned string! Highlights: - Original instruments sounds - Supported 5 Instruments: Bass...
27.5 MB  
Teaching Tools  -  GingerALE 2.0.4
GingerALE is the BrainMap application that is used to perform an ALE meta-analysis on a group of coordinates in Talairach or MNI space. GingerALE can also be used to convert coordinates between MNI and Talairach spaces using the icbm2tal...
2.38 MB  
Teaching Tools  -  Capacitor Lab 2.02
Explore how a capacitor works! Change the size of the plates and add a dielectric to see how it affects capacitance. Change the voltage and see charges built up on the plates. Shows the electric field in the capacitor. Measure voltage and electric...
1.5 MB