KeYmaera

Name: KeYmaera
Works on: windows

Windows 7 and above

Version: 3.6
Last Updated: 05 Apr 2017
Release: 14 Mar 2015
Category: Science CAD

Rate this software:
1288 downloads

View Screenshots(1)

Comments

Download

Liked it? Tell others:

KeYmaera Tags

theorem prover equation solver verification tool theorem equation solver prover

KeYmaera Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
SHA1 Hash: 048a8cadaae287ef0b7f7ad75a9c3665fd63b0cf
Size: 2.19 KB
File Format: jnlp

Rating: 2.217391304 out of 5 based on 23 user ratings

Publisher Website: External Link
Downloads: 1288
License: Free

KeYmaera is a free software by Andre Platzer and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download KeYmaera which is 2.19 KB in size and belongs to the software category Science CAD.
KeYmaera was released on 2015-03-14 and last updated on our database on 2017-04-05 and is currently at version 3.6.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:
Share in your network:

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.System requirementsJava
Mathematica or other compatible solver

KeYmaera Screenshots

Similar Software