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

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

Serving Software Downloads in 956 Categories, Downloaded 49.596.869 Times

Solving Geometry Proofs software
Filter: All | Freeware | Demo
 

Solving Geometry Proofs

< 1 2 3 4 5 > 
Released: September 08, 2012  |  Added: September 08, 2012 | Visits: 618

GeoGebra for Mac GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...



Platforms: Mac

License: Freeware Size: 14 MB Download (538): GeoGebra for Mac Download

Released: July 04, 2012  |  Added: July 04, 2012 | Visits: 741

GeoGebra Portable GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...





Platforms: Windows

License: Freeware Size: 61.25 MB Download (513): GeoGebra Portable Download

Added: May 10, 2013 | Visits: 596

BRL-CAD package The BRL-CAD package is a powerful Constructive Solid Geometry (CSG) solid modeling system with over 20 years development and production use by the U.S. military. BRL-CAD includes an interactive geometry editor, parallel ray-tracing support for rendering and geometric analysis, path-tracing for...


Platforms: *nix, C/C++, BSD Solaris

License: Freeware Download (64): BRL-CAD package Download

Added: July 09, 2013 | Visits: 511

Beam and Truss Analysis utilities 2 utilities for solving the basic problems in statics- the one dimensional beam and plain truss. both receive model info as input (has to be built as a MATLAB file, see examples) and produce output results such as reactions values and internal forces in members.See the README file for info.


Platforms: Matlab

License: Freeware Size: 61.44 KB Download (42): Beam and Truss Analysis utilities Download

Added: June 27, 2013 | Visits: 536

MATLAB interface for L-BFGS-B L-BFGS-B is a collection of Fortran 77 routines for solving nonlinear optimization problems with bound constraints on the variables. One of the key features of the nonlinear solver is that the Hessian is not needed. I've designed an interface to the L-BFGS-B solver so that it can be called like...


Platforms: Matlab

License: Freeware Size: 61.44 KB Download (42): MATLAB interface for L-BFGS-B Download

Added: September 02, 2013 | Visits: 614

Numerical Methods for Physics Designed for physicists, this book covers a variety of numerical and analytical techniques used in physics that are applied to solving realistic problems.


Platforms: Matlab

License: Freeware Size: 194.56 KB Download (45): Numerical Methods for Physics Download

Added: March 31, 2013 | Visits: 565

Numerical Methods for Physics, 2e Designed for physicists, this book covers a variety of numerical and analytical techniques used in physics that are applied to solving realistic problems.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1592.jsp.


Platforms: Matlab

License: Freeware Size: 143.36 KB Download (47): Numerical Methods for Physics, 2e Download

Application Of Method ODE45 Matlab For Model Pacemaker VI1 Of Cardiac Cells It is application of solving ODE model pacemaker VI1 of cardiac cells with function ODE45 mat lab.It is first work objectifs for developing M-File-S-Function with Simulink-Mat lab for modele pacemaker VI1 of cardiac cells and Heart VI1 with Simulink Platform in Free SimCardiology in...


Platforms: Matlab


Added: August 02, 2013 | Visits: 418

Simulation for Cellular Neural Networks (CNN) Nowadays, CNN becomes more and more useful in solving engineering issues. This simulation is to help you understand the original idea proposed by L.O. Chua and Yang.Please read thorough Readme.txt, original papers before changing the values of parameters


Platforms: Matlab

License: Freeware Size: 133.12 KB Download (40): Simulation for Cellular Neural Networks (CNN) Download

Added: May 17, 2013 | Visits: 655

Finite Differences Beam Propagation Method in 3-D This set of simulations make use of the Alternating Direction Implicit method for solving the parabolic wave equation that arises in FD BPM.The zip file includes the following programs:FDBPM3D_free_space.m - Animation and video of the 3D propagation.FDBPM3D_free_space_slice.m - It shows slices of...


Platforms: Matlab

License: Freeware Size: 92.16 KB Download (43): Finite Differences Beam Propagation Method in 3-D Download

Manuscript of 'Solving Index-1 DAEs in MATLAB and Simulink' This is a manuscript of the paperLawrence F. Shampine, Mark W. Reichelt, and Jacek A. Kierzenka,Solving Index-1 DAEs in MATLAB and Simulink,SIAM Review, Vol. 18, No. 3, pp. 538-552, 1999.The paper describes mathematical and software developments needed for effective solution of differential...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 307.2 KB Download (47): Manuscript of 'Solving Index-1 DAEs in MATLAB and Simulink' Download

Computer Applications in Mechanics of Materials Using MATLAB This junior/senior level text presents basic and intermediate programming techniques that are commonly employed when solving engineering problems.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1476.jsp.


Platforms: Matlab

License: Freeware Size: 153.6 KB Download (46): Computer Applications in Mechanics of Materials Using MATLAB Download

Added: August 06, 2013 | Visits: 484

Analytical Target Cascading Example Analytical Target Cascading (ATC) is a method for solving large-scale distributed optimization problems. It can be applied to multidisciplinary design optimization (MDO) problems. A very simple example problem was chosen so that the ATC solution process could be illustrated without requiring much...


Platforms: Matlab

License: Freeware Size: 10 KB Download (42): Analytical Target Cascading Example Download

Added: March 28, 2013 | Visits: 594

Single tank linearization Single tank system nonlinear model was develop & finding the operating point of it using script file of the matlab with solving of ode for it and ploting the response


Platforms: Matlab

License: Freeware Size: 10 KB Download (42): Single tank linearization Download

Added: March 22, 2013 | Visits: 792

Templates for the Solution of Linear Systems This book is written for computational scientists who would like to incorporate state-of-the-art computational methods for solving large sparse systems of linear equations.For a full book description and ordering information, please visithttp://www.mathworks.com/support/books/boo...=-1&language=-1


Platforms: Matlab

License: Freeware Size: 20.48 KB Download (41): Templates for the Solution of Linear Systems Download

Analytical Target Cascading Example With Coupling Variables Analytical Target Cascading (ATC) is a method for solving large-scale distributed optimization problems. It can be applied to multidisciplinary design optimization (MDO) problems. A very simple example problem was chosen so that the ATC solution process could be illustrated without requiring much...


Platforms: Matlab

License: Freeware Size: 10 KB Download (41): Analytical Target Cascading Example With Coupling Variables Download

Added: July 25, 2013 | Visits: 356

Tutorial on solving DDEs with DDE23 This tutorial shows how to use the MATLAB solver DDE23 to solve delay differential equations (DDEs) with constant delays. The solver is available in MATLAB 6.5 and later.The tutorial briefly discusses the differences between solving ODEsand DDEs, and describes the techniques used in DDE23. The...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 266.24 KB Download (39): Tutorial on solving DDEs with DDE23 Download

Added: September 02, 2013 | Visits: 347

Tutorial on solving BVPs with BVP4C This tutorial shows how to formulate, solve, and plot the solutions of boundary value problems (BVPs) for ordinary differential equations.The tutorial introduces the function BVP4C (available in MATLAB 6.0 and later), briefly describes the numerical method used, and illustrates solving BVPs with...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 194.56 KB Download (39): Tutorial on solving BVPs with BVP4C Download

Added: March 25, 2013 | Visits: 464

Homogen Differential Equations Solving (update:27-06-07) ]In this application is descriptioned homogen-differential equations generally solutions with matlab symbolic tool's.Generally homogen-differential equation's form is (where R=[d/dx] ) sum {i=1:n} [C_(i)*R^{i}].y=0Here, firstly sub function-[regsolution.m] solving differential equation's...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 10 KB Download (44): Homogen Differential Equations Solving (update:27-06-07) Download

Added: August 06, 2013 | Visits: 302

Industrial Mathematics The central thrust of the book is to demonstrate the power of interweaving analytics with computing methods during problem solving.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1602.jsp.


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 20.48 KB Download (39): Industrial Mathematics Download

< 1 2 3 4 5 >