Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/ZF/AC/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 24 kB image not shown  

Quelle  top_derivative.pvs   Sprache: unbekannt

 
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%


[ zur Elbe Produktseite wechseln0.24Quellennavigators  Analyse erneut starten  ]