Dataset Groups Activity Stream Formalization of the Cauchy-Euler approximation method The initial value problem of ordinary differential equations. BibTex: @dataset{Grigory_Devadze_and_Lars_Flessing_and_Stefan_Streif_2024, abstract = {The initial value problem of ordinary differential equations.}, author = {Grigory Devadze and Lars Flessing and Stefan Streif}, doi = {10.57702/tcqhlrk9}, institution = {No Organization}, keyword = {'Cauchy-Euler approximation', 'Ordinary Differential Equations', 'Proof Assistant'}, month = {dec}, publisher = {TIB}, title = {Formalization of the Cauchy-Euler approximation method}, url = {https://service.tib.eu/ldmservice/dataset/formalization-of-the-cauchy-euler-approximation-method}, year = {2024} }
