Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: top_derivative.pvs Sprache: PVS

Original von: 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

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.