transcendentals.ml

MaRDI QIDQ54579swMATHFDO

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 verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• Robotica
• Formal analysis of continuous-time systems using Fourier transform

This page was built for software: transcendentals.ml