69
LINDO Systems
8,663
Shareware
Build and solve Linear, Nonlinear, Quadratic, and other optimization models.
1
Nibcode Solutions
126
Shareware
This app for solving problems about matrices, vectors and linear transformation.
GnuWin32
12
Open source
It is a program intended for solving large scale linear programming problems.
Mosek APS
146
Shareware
This app is designed to solve large-scale mathematical optimization problems.
Pearson Education, Inc.
3
Commercial
Includes a combination of rational numbers, patterns, geometry and integers.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
Advasoft
Freeware
AdvaCalc is a Large integer calculator. Handles integer of unlimited sizes.
6
Mir Vadim
3
Demo
NVidia PhysX Rigid Body support via RayFire user interface.
2
Mir Vadim
Freeware
RayFire Tool gives you the ability to do everything you dreamed of in 3ds Max.
Harry J. Smith, Private individual.
2
Open source
XICalc is a small Extra Precision Integer Calculator.
1
Hexprobe System
19
Freeware
Use Abctool to convert 8-bit to 1024-bit integer between bases 2 through 36.
Ayehu Software Technologies Ltd.
Demo
Automates IT problem resolution resulting in up to 90% faster problem resolution.
1
Anvisoft
4
Freeware
Anvisoft PC Plus, repair PC problem, fix system error, PC problem solution.
5
Promosoft Corporation
136
Freeware
This will safely clean and repair Windows operative system registry problem.
16
Marcus Hebel
2,465
Freeware
Advanced,free tool solving the 'converging lines' problem in photography.