Featured

Complex Theorems

Software

Cinderella2

Prof. Dr. Ulrich Kortenkamp

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

relations, continuing with trigonometric theorems up to fractals

Google

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

Epic Games, Inc.

Shadow Complex Remastered lets you explore a huge, mysterious game world populated with legions...

Shadow Complex Remastered lets you explore

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

or 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

be.gregorydaenen

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

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

University of Hamburg