KeYmaera

KeYmaera Description

KeYmaera allows you to combine the technologies used by multiple applications in order to prove theorems and logic verifications. It is an automated prover system that supports hybrid systems and multiple input types.The program can handle differential equations, inequalities and non-deterministic discrete or continuous input systems. What's New in This Release: [ read full changelog ]Maintainance update, improve Mathematica interface �.You can free download KeYmaera from Softpedia now.