Incompleteness Theorem Formulator Downloads
Pages:
Go to
1
2
3 Freeware Mac iPhone 
Size 
Type 
Added 

Formulator.NET is a robust Form Builder that enables you to create a wide range of forms onthefly 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


7.7 MB 
freeware 
13 February, 2009 

Pythagorean Theorem is a textbased 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. 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 that ...
OS:
iOS
,


1.5 MB 
freeware 
29 June, 2012 

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 ...
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. The transformed images ...
OS:
Windows


81.0 KB 
freeware 
28 April, 2013 

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 

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, ...
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 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.
OS:
iOS
,


204.8 KB 
freeware 
14 October, 2010 

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 

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 

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





