共 50 条
[32]
Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations
[J].
Mathematical Programming,
2022, 196
:521-565
[33]
Deferred Correction Methods for Ordinary Differential Equations
[J].
Journal of Scientific Computing,
2020, 83
[34]
Resolving ordinary differential equations with Maple and mathematics
[J].
REVISTA MEXICANA DE FISICA E,
2007, 53 (02)
:155-167
[36]
Hecke Operators on Linear Ordinary Differential Equations
[J].
Acta Applicandae Mathematica,
1999, 59
:203-213
[38]
GENERALIZED (ψ, θ, φ)-CONTRACTION WITH APPLICATION TO ORDINARY DIFFERENTIAL EQUATIONS
[J].
FACTA UNIVERSITATIS-SERIES MATHEMATICS AND INFORMATICS,
2022, 37 (01)
:169-192
[39]
The Picard Algorithm for Ordinary Differential Equations in Coq
[J].
INTERACTIVE THEOREM PROVING, ITP 2013,
2013, 7998
:463-468
[40]
Algorithmic Verification of Linearizability for Ordinary Differential Equations
[J].
PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17),
2017,
:285-292