scientific article; zbMATH DE number 2151186

zbMATH Open1072.68663MaRDI QIDQ4660652FDOQ4660652

Authors: Richard Fateman 

Publication date: 4 April 2005

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1927426
• scientific article; zbMATH DE number 140016
• scientific article; zbMATH DE number 140018
• A mathematical view of automatic differentiation
• scientific article; zbMATH DE number 3870469

zbMATH Keywords

Besseldifferentiationrecurrenceproofsine

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer aspects of numerical algorithms (65Y99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Verifying properties of differentiable programs
• Title not available (Why is that?)
• Automated simplification of large symbolic expressions
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Coq
• GRADIENT

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4660652)