scientific article; zbMATH DE number 2151186

MaRDI QIDQ4660652zbMATH OpenFDO

Authors Richard Fateman

Publication date 4 April 2005

zbMATH Keywords

Besseldifferentiationproofrecurrencesine

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Automated simplification of large symbolic expressions
• scientific article; zbMATH DE number 3870469 (Why is no real title available?)
• scientific article; zbMATH DE number 5353267 (Why is no real title available?)
• scientific article; zbMATH DE number 1927426 (Why is no real title available?)
• Verifying properties of differentiable programs

Describes a project that uses

Uses Software

• GRADIENT
• Coq

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)