Skip to main content

Questions tagged [differential-equations]

Ordinary differential equations, partial differential equations, functional differential equations, stochastic differential equations; well-posedness, asymptotic behavior, and related questions.

Filter by
Sorted by
Tagged with
12 votes
3 answers
312 views

PDEs and proof assistants

I would like to know if there are any ongoing or completed projects in the area of the verification of the numerical methods for PDEs or the exposition of (any aspects of) the traditional PDE theory ...
user9716869 - supports Ukraine's user avatar