transcendentals.ml

swMATH38879MaRDI QIDQ54579FDOQ54579

Author name not available (Why is that?)

Official website: https://github.com/jrh13/hol-light/blob/master/Multivariate/transcendentals.ml

Source code repository: https://github.com/jrh13/hol-light/blob/master/Multivariate/transcendentals.ml

Cited In (3)

• Formal analysis of continuous-time systems using Fourier transform
• Robotica
• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}

This page was built for software: transcendentals.ml