|
top : THEORY
BEGIN
IMPORTING util,
minmax,
multi_bernstein,
multi_polynomial,
poly2bernstein,
vardirselector,
bernstein_minmax,
MPoly,
multi_polylist,
poly_minmax,
Outcome,
strat_util,
strategies,
boxes_def,
OutBoxes,
boxes
% tests
% The theories examples.pvs and benchmarks.pvs contain several examples of
% polynomial inequalities proved using the strategy (bernstein). To prove
% these theories in batch mode, use the proveit utility of PVS 5.0:
% <pvs-dir>/proveit examples benchmarks
% The directory Grizzly contains a prototype client-server tool for solving
% global optimization problems.
END top
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
