Menu
 

Incompleteness Theorem Formulator Downloads

 
Pages: Go to 1 2 3   Freeware Mac iPhone Size Type Added
Formulator.
Formulator.NET 1.1 (by: e-Centric, Inc)

Formulator.NET is a robust Form Builder that enables you to create a wide range of forms on-the-fly for Internet and Intranet websites. Create Web forms easily with the Form Wizard, and customize the logic for how your administrative users manage form ...
OS: Windows


Advertisements


Advertisements

7.7 MB freeware 13 February, 2009
Pythagorean Theorem is a text-based program
Pythagorean Theorem 5.5 (by: Schmitty's Programs)

Pythagorean Theorem is a text-based program that uses the formula A2 B2 = C2 to calculate the length of any side of a right triangle, provided you enter the other two. However, you must first specify whether you want to find the length of the hypotenuse ...
OS:

  shareware 09 June, 2012
Princess is a theorem prover for Presburger arithmetic with uninterpreted predicates.
Princess 31082010 (by: Philipp Rummer)

Princess is a theorem prover for Presburger arithmetic with uninterpreted predicates. This means that Princess can reason about problems in integer arithmetic without multiplication (only multiplication with integer literals is allowed), augmented with ...
OS: Mac

419.8 KB shareware 09 November, 2012
The Pythagorean Theorem may seem really simple. However, if the numbers are large and complicated, finding the length of a side of a right triangle may be a tough endeavor. This app was created to solve the pencil breaking and pillow punching ...
Pythagorean Theorem Solver 1.2 (by: Limpossible Technologies)

The Pythagorean Theorem may seem really simple. However, if the numbers are large and complicated, finding the length of a side of a right triangle may be a tough endeavor. This app was created to solve the pencil breaking and pillow punching that ...
OS: iOS ,

1.5 MB freeware 29 June, 2012
Weekend SaleThe BUILDER'S FORMULATOR is the perfect tool for any general contractor or builder. This program contains over 200 formulas helpful for builders. BUILDER'S FORMULATOR combines all of the formulas from our Electrical, Carpentry and ...
Builder's Formulator 3.1 (by: Multieducator Inc)

Weekend Sale The BUILDER'S FORMULATOR is the perfect tool for any general contractor or builder. This program contains over 200 formulas helpful for builders. BUILDER'S FORMULATOR combines all of the formulas from our Electrical, Carpentry and Plumbing ...
OS: iOS ,

61.6 MB shareware 10 October, 2012
With "Boss 'T' Maths Functions Pythagorean Theorem", understanding the Pythagorean theorem has never been so easy!The first part - I UNDERSTAND! - shows the theorem and its converse with examples and animations.The second part - I TEST MYSELF! - ...

With "Boss 'T' Maths Functions Pythagorean Theorem", understanding the Pythagorean theorem has never been so easy! The first part - I UNDERSTAND! - shows the theorem and its converse with examples and animations. The second part - I TEST ...
OS: iOS ,

3.1 MB freeware 31 October, 2013
An interactive IFS Fractal generator focused on the "Collage Theorem", IFS Lab allows the user to sketch an approximate outline of the desired fractal, then cover it with transformed images of itself to build a collage.
IFS Lab 1.1 (by: Nathan Zeldes)

An interactive IFS Fractal generator focused on the "Collage Theorem", IFS Lab allows the user to sketch an approximate outline of the desired fractal, then cover it with transformed images of itself to build a collage. The transformed images ...
OS: Windows

81.0 KB freeware 28 April, 2013
The Elastic Bounce on an Inclined Plane model can be used to illustrate the adiabatic theorem in classical mechanics.

Elastic Bounce on an Inclined Plane Model written by Juan Aguirregabiria The Elastic Bounce on an Inclined Plane model can be used to illustrate the adiabatic theorem in classical mechanics. A particle slides without friction along an inclined plane.
OS: Mac

91.1 KB shareware 29 October, 2012
The winning-est low cost handicapper software

You can even import directly from Daily Racing Form Formulator. No complex, hard to understand, time consuming data entry process required. Using your Daily Racing Form, you simply enter or import six data points for each horse, select any number of ...
OS: Windows , Windows 7

716.0 KB freeware 05 August, 2014
Fermenticus Brew Log is a logbook, calculator, and recipe formulator for homebrewers and small craft brewers alike. Updated design for iOS 7, and fully compatible with iOS 6! Clean design - You can quickly input your ingredients and measurements, ...

Fermenticus Brew Log is a logbook, calculator, and recipe formulator for homebrewers and small craft brewers alike. Updated design for iOS 7, and fully compatible with iOS 6! Clean design - You can quickly input your ingredients and measurements, ...
OS: iOS ,

2.8 MB freeware 01 October, 2013
HVAC PROFESSIONAL FORMULATOR includes all 200 formulas of the HVAC Fomulator and adds 18 charts, as well as the complete International Mechanical Code. A future upgrade (free for current users) will add the International Energy Code. HVAC ...
HVAC Professional 2.5 (by: Multieducator Inc)

HVAC PROFESSIONAL FORMULATOR includes all 200 formulas of the HVAC Fomulator and adds 18 charts, as well as the complete International Mechanical Code. A future upgrade (free for current users) will add the International Energy Code. HVAC PROFESSIONAL ...
OS: iOS ,

68.6 MB shareware 17 April, 2013
Rocksource iDecide, a decision tool using two stage Bayes theorem calculations. Disclaimer: Use at your own risk, neither Rocksource nor Small Systems Software Development will be responsible for any losses related to the use of this program.
Rocksource iDecide 2.0 (by: Small Systems Software Development LLC)

Rocksource iDecide, a decision tool using two stage Bayes theorem calculations. Disclaimer: Use at your own risk, neither Rocksource nor Small Systems Software Development will be responsible for any losses related to the use of this program.
OS: iOS ,

204.8 KB freeware 14 October, 2010
Mathematics program intended for Middle School pupils (age 11-14).

Among the subjects covered: Orthogonal median, central and axial symmetries, Convergent lines in a triangle, Parallelogram, rectangle and square, Pythagoras and Thales' Theorem, Isometric triangles, Similar, homothety, Trigonometry....
OS: Windows , Windows 7

816.0 KB demo 13 May, 2013
Mathematics program intended for High School pupils (age 15-17) This Title comprises 20 chapters of complete courses completed with exercises covering every subject undertaken.

Among the subjects covered: Homogeneous polynomials, homographic functions, Derivative of functions, Taylor's theorem for polynomials, Barycenter...
OS: Windows , Windows 7

816.0 KB demo 26 May, 2013
The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and computer science.
Orbital 1.3 (by: Andre Platzer)

This Java library provides computer algebra, numerical algorithms, theorem proving, search and planning etc. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components for Java, which surround ...
OS: Mac

3.4 MB freeware 22 July, 2012
Pages: Go to 1 2 3      
Categories
New Downloads
Top Downloads
Related Searches
Latest Software Searches