Featured

Theorems

Software

LyX

free

631

LyX

LyX is a word processor with a unique focus on not only the appearance...

allows working on matrixes, theorems, algorithms and equations, which

Prof. Dr. Ulrich Kortenkamp

Easily create startling geometric constructions! Starting from simple triangle relations...

relations, continuing with trigonometric theorems up to fractals

free

PeaceDevelopers

A Karnaugh map (K-map) is a pictorial method used to minimize Boolean expressions without having to use Boolean algebra...

to use Boolean algebra theorems and equation manipulations

With Cinderella, experience Geometry on your desktop and on the web. Easily create startling...

relations, continuing with trigonometric theorems up to fractals

free

CitrusLab

MindLayout is a mind-mapping tool for your Mac. Whether you want to create a business presentation...

wish to learn complex theorems in a classroom, ‘Mind

WagMob

Physics...Some years ago I created many SuperCard Player projects with text, graphics, and animations for teaching...

Physics...Some years ago I created many SuperCard Player projects with text, graphics

free

William McCune

OtterFace-8 is a simple graphical user interface for Otter and Mace2...

is designed to prove theorems stated in first-order

free

Georgia Tech Research Corporation and Northeastern University.

ACL2 is a powerful system for integrated modeling...

of the most complex theorems to have undergone mechanical...about industrial-strength theorem proving