Hello, I would like to present a new tool for formal verification of nonlinear inequalities in HOL Light. The tool can be downloaded at: http://code.google.com/p/flyspeck/downloads/list
The tool can handle multivariate nonlinear strict inequalities on rectangular domains. For more information, see http://flyspeck.googlecode.com/files/FormalVerifier.pdf Best, Alexey ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_sfd2d_oct _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
