Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Automatic Differentiation in ACL2 - MaRDI portal

Automatic Differentiation in ACL2 (Q3088015)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic Differentiation in ACL2
scientific article

    Statements

    title
    Automatic Differentiation in ACL2 (English)
    0 references
    author
    Peter Reid
    0 references
    Ruben A. Gamboa
    0 references
    publication date
    17 August 2011
    0 references
    zbMATH Keywords
    ACL2
    0 references
    nonstandard analysis
    0 references
    automatic differentiation
    0 references
    describes a project that uses
    ACL2
    0 references
    ADIC
    0 references
    Autodiff
    0 references
    ADIFOR
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    26-04
    0 references
    26A24
    0 references
    26E35
    0 references
    zbMATH DE Number
    5940076
    0 references
    OpenAlex ID
    W2280334138
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3088015&oldid=35242913"
    Powered by MediaWiki