WindowsScience / CAD

KeYmaera


KeYmaera

KeYmaera
  • Downloads: 245
  • Requirements: Windows All
  • Size: 2 KB
  • Licence: Freeware
  • Version: 3.6.12
  • 2014-12-09
  • Publisher Site:



KeYmaera

Free Download KeYmaera
Share

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
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 now.
Soft85 only provide legal software, please help us keeping pur site legal, if you think this page is violating copyrights please let us know by clicking here Here

KeYmaera sources and versions


KeYmaera from Softpedia







comments powered by Disqus

Download KeYmaera _FREE_