Solving Geometry Proofs

Using this interactive MathML-based program you will get fully explained solutions to arithmetic, algebra and trigonometry problems, learn related concepts, and practice your problem-solving skills.

This multilingual math software is meant for math teachers and students of all grades. The program offers fully explained step-by-step solutions to 1224 math problems in arithmetic, pre-algebra, algebra, trigonometry and hyperbolic trigonometry. Each solution step is provided with relevant...

Math, financials, stats, combinative, dates, y=f(x), series, units and calendars conversions, geometry, pi, Fourier, Taylor, Gamma, Bessel, Bernoulli, Fisher, prime numbers, fractionations, equations, electricity, chemistry, molar masses, currencies. Divx Bitrate Calculator. Advanced astronomy...


Platforms: Windows

PCPal is a free easy-to-use tool that helps you maintain your PC optimized and secured by detecting and solving problems. PCPal monitors your PC, notifies you about important issues, and suggests fix solutions. Additionally, PCPal provides you with a 1-click checkup function, which enables you to...


Platforms: Windows

Desktop Expression calculator is a free calculator for solving arithmetic expressions. The expression calculator evaluates a single line arithmetic expression such as "sqrt(cos(60)+sin(30))". This version has a new interface, keyboard integration, a read aloud option (accessibility) and new...


Platforms: Windows

SudoCue can generate Sudoku puzzles in 5 custom defined difficulty levels, help you solve it with a broad range of helper tools, and can solve the most difficult Sudokus with a powerful solver that knows more than 50 solving techniques. It supports variants like Sudoku-X, Windoku and Sudoku-DG....


Platforms: Windows

Dark Disciples is a CRPG with an emphasis on NPC interaction, quests and puzzle solving. Thief-like skills such as pick locks, hide in shadows and disarm traps are also emphasized. DD has an 'old school' feel but with a modern interface. There are around 60 levels and 50 quests to complete. Note:...


Platforms: Windows

MSWLogo - An Educational programming language that brings the power of Windows and Logo together, now supports 3 dimensional geometry. This language will never cease in amazing you! Combined with the Great Logo Adventure Book by Jim Muller, it's hard to beat. It's also FREE.


Platforms: Windows

Monitor Test Screens - Eight different testmodes, some with submodes, test your monitor for sharpness, moiri??, geometry, convergence, high voltage supply stability, brightness, color quality and more. Adjusts to any given resolution (even odd ones, like 1280x1024). Comes with a tutorial text....


Platforms: Windows

If you consider yourself to be an expert at solving sudokus and are bored of the clssic games because they are too simple, then take a look at Sudoku Sensei 2.0Sudoku Sensei 2.0


Platforms: Windows

Cabri 3D is an application with a clear pedagogic orientation, aimed at learning and teaching different geometry aspects.You can study all types of geometric shapes, from the simplest to the most complex, and combine them with other elements: points, lines, segments, circumferences, plans, solid...


Platforms: Windows

Interactive multilingual mathematics software for training problem-solving skills offers 70439 algebraic problems, a variety of appropriate techniques to solve problems and a unique system of performance analysis with methodical feedback. Included are linear, quadratic, biquadratic, reciprocal,...


Platforms: Windows

PDF to text file converter that allows extracting text from a batch of PDF files. PDF2Text Pilot is an open-source tool. Software developers can use the code as an example of solving a text extraction task. Working from command line is supported.


Platforms: Windows

The Smart Package Manager project has the ambitious objective of creating smart and portable algorithms for solving adequately the problem of managing software upgrading and installation. This tool works in all major distributions, and will bring notable advantages over native tools currently...


Platforms: *nix

KAlgebra is a MathML-based graphic calculator, thought to bring to the user its power by solving expressions written in MathML or calculating converted common equations to MathML. Whats New in This Release: ExpressionEdit improved in many ways: - History added - Highlighting for MathML...


Platforms: *nix

Tk::form is a Perl module with a geometry manager based on attachment rules. SYNOPSIS $widget->form?(args)? $widget->formOption?(args)? The form method is used to communicate with the form Geometry Manager, a geometry manager that arranges the geometry of the children in a parent window...


Platforms: *nix

Transparent Parallel I/O Environment is a software environment (written in C++) that facilitates the implementation of external memory algorithms. The goal of theoretical work in the area of external memory algorithms (also called I/O algorithms or out-of-core algorithms) has been to develop...


Platforms: *nix

TPIE is a software environment (written in C++) that facilitates the implementation of external memory algorithms. The goal of theoretical work in the area of external memory algorithms (also called I/O algorithms or out-of-core algorithms) has been to develop algorithms that minimize the...


Platforms: *nix

geoMac is an easy to use geometry software. A calcul engine makes it possible to plot curves and use variables.


Platforms: Mac

Learn data mining with easy-to-use examples. Teach computer to add, subtract, Boolean operations, Fishers Iris task and even chess moves with convenient application NeoNeuro Data Mining! You will be amazed how Data Mining learns chess step by step, like a child. Unlike neural nets NeoNeuro Data...


Platforms: Windows, Windows 8, Windows 7, Windows Server