Solving Geometry Proofs

1.Main idea of NeoNeuro Machine Learning is universality. 2.Universality is when everything works over ONE button. Copy data into spreadsheet and press Calculate thats all! 3.By default Machine Learning opens the example where PC learns elementary math operations. We recommend to teach...

The program provides detailed, step-by-step solutions in a tutorial-like format to the problems of solving triangles in elementary geometry. The program is designed for high school students and teachers.

Interactive software for creating and solving problems in 3D geometry. Draw and measure segments and angles, measure areas and volumes, transform, cut and join figures. Can be used and distributed free of charge.


Platforms: Mac

Geometry Master 3.0 is a Geometry Tutor that enhances Geometrical, Spatial and Drawing skills. The program comes with many excellent drawing tools. The Software runs on all Windows systems and has multiple Drawing Tools, Color Fill Options and Custom Shape Tools. It also can save the images in...


Platforms: Windows

Custom Geometry is an extension which resizes and positions the window according to your settings. Custom Geometry adds a button to the Firefox status bar that will resize the Firefox window to your specifications. Many other extensions will resize the window, but only to preset dimensions,...


Platforms: *nix

Geometry Description Markup Language (GDML) workpackage is primarly ment to provide geometry data exchange format for the LCG applications. The workpackage consists of the GDML Schema part, which is a fully self-consistent definition of the GDML syntax and the GDML I/O part which provides means...


Platforms: *nix

Geometry Solver 3D is an accessible and handy application that will resolve analytic geometry problems with ease. The program will also provide tools for calculations in 3D as well as graphic OpenGL demonstrations. Now you can use this handy software to solve math problems.


Platforms: Windows, Windows Vista, 7

Circles Geometry has 9 graphic calculators to solve line and circle problems. All possible solutions are calculated in your coordinates and units. The picture, drawn from the calculated values, witnesses that the computations are correct. Use thie step-by-step help information to code your...


Platforms: Windows

ceometric provides efficient math libraries for object-oriented spatial geometry programming in a .NET language. Our libraries enable very intuitive and CAD-like working on geometric objects in space in C#, VB.NET or J#. All methods are highly efficient and suitable for large scale computations....


Platforms: Windows

Geometry Express is the newest addition to Praeter Software's award-winning line of educational mathematic calculation and teaching software for students and teachers. Designed to help students and teachers visualize and demonstrate various calculations for different geometrical shapes,...


Platforms: Mac

Polar Parallel Coordinate Geometry (PPCG) plots standardardised time series data. Colour is used to demonstrate data through time; black being the oldest to white being the newest. 2 - 3 Std deviation warning/action limits are also highlighted by yellow/red respectively.


Platforms: Matlab

This file contains the example programs and other information for the book Solving ODEs with MATLAB by L.F. Shampine, Ian Gladwell, and Skip Thompson.


Platforms: Matlab

ode_solver provides a graphical user interface for solving ODE systems with additive noise influence.Also it is possible to run solver in no-GUI (batch) mode. See required parameters in help-file.example for Duffing's equations:data=ode_solver({'x2' '-0.1*x2-x1^3+11*cos(t)'}, {'0' '0'}, {'0'...


Platforms: Matlab

A simple and easy to use program designed for quickly solving scientific problems. Subjects include Physics, Engineering, and Geometry. Future updates will add more equations and subjects, so keep checking back for updates. This project is Open Source, and as such is available for free in the...


Platforms: Mac

Math::Geometry is a Perl module that implements classic geometry methods. It should be considered alpha software and any feedback at all is greatly appreciated. The following methods are available: vector_product. Also known as the cross product, given two vectors in Geometry space, the...


Platforms: *nix

Geometry calculates geometric figures such as spheres, triangles, cones, trapezoids, circles and cylinders. Also, it has an application in engineering to calculate the flow and geometry in an open trapezoid channel. You can calculate the area, volume or perimeter of a: Square Trapezoid Sphere...


Platforms: Palm OS

JGEX, which is actually short for Java Geometry Expert is an ongoing developing system. JGEX is a useful system that is able to combine an approach for visually dynamic presentation of proofs (VDDP), dynamic geometry software (DGS) and automated geometry theorem prover (GTP) .


Platforms: Windows

This software aims help students of analytic geometry courses by visualizating several key concepts.


Platforms: Windows, Mac, Linux

The Protein Geometry Database hosts the development code for a flexible database for searching protein geometry, as well as a library for accessing this data for protein modeling & refinement programs.


Platforms: Windows, Mac, Linux

The SuDoku Solving Assistent is a Java application meant as replacement of pencil and paper to solve SuDoku puzzles. It can automatically remove identified numbers from boxes in same block, row or column. A MIDlet for mobile phones is also available


Platforms: Windows, Mac, Linux