Solving Geometry Proofs

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...

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.

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

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

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

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

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

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

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

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

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

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

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

Program for solving non-linear, and linear, equation systems in which you write the equations and the program solves them numerically. It includes a data base with thermodynamical properties and also a symbolic engine. Basically the program is an open source clone of the EES-Engineering Equation...


Platforms: Mac

RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.


Platforms: *nix

Sudoku Solver is a small graphical application for solving any given Sudoku puzzle, almost instantaneously. It also provides the solution (the steps required to solve the puzzle). It is written in python.


Platforms: *nix

BRL-CAD project is a powerful Constructive Solid Geometry (CSG) solid modeling system. BRL-CAD includes an interactive geometry editor, ray tracing support for rendering and geometric analysis, network distributed framebuffer support, image-processing and signal-processing tools. The entire...


Platforms: *nix

GeoCalculator, the new latest thing in geometrical math. GeoCalculator is your one stop for solving any geometry-related equations. Features such as Triangle Solvers, Polygon Finders, and TONS of equations lets you solve ALL equations that you need.


Platforms: *nix

AJ Sealed Designer is a sub-woofer design program for solving the required calculations for sealed speaker box designs. AJ Sealed Designer provides accurate theoretical calculations for speaker and box enclosure parameters with an easy-to-use interface. It also includes a box calculator to...


Platforms: Windows

Corner is a program to calculate odd corners made from sheet materials like aluminium, steel, or glass. It could be the corners of aluminium or steel facades - or perhaps strangely shaped fishtanks... If you are in that line of work or a bit interested in geometry, Corner will be very easy to use...


Platforms: Windows