Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/scott/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 2 kB image not shown  

Quelle  top_derivative.pvs   Sprache: PVS

 
top_derivative : THEORY
%----------------------------------------------------------------------------
%  Author:  Bruno Dutertre    Royal Holloway & Bedford New College
%----------------------------------------------------------------------------
BEGIN

  IMPORTING derivatives, derivative_props, derivatives_lam, chain_rule,  
%            derivatives_more,      % added at NASA Langley moved to derivative_props
            deriv_domain,          % domain generalized: 1-4-2010
            deriv_domains,
            deriv_sign,
            derivatives_subtype,

            restrict2_deriv,       % David Lester
            sqrt_derivative,       % David Lester
            derivative_inverse,     % David Lester
            
            polynomial_deriv,
            nth_derivatives,
            taylors


END top_derivative

90%


¤ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.