Here is an example of an exact ODE. This verifies the solution. Here is a contour plot of the solution.
LongestCommonSubsequence[s_1, s_2] finds the longest contiguous subsequence of elements common to the strings or lists s_1 and s_2.
DavisDistribution[b, n, \[Mu]] represents a Davis distribution with scale parameter b, shape parameter n, and location parameter \[Mu].
Probability[pred, x \[Distributed] dist] gives the probability for an event that satisfies the predicate pred under the assumption that x follows the probability distribution ...
NullSpace[m] gives a list of vectors that forms a basis for the null space of the matrix m.
CentralMomentGeneratingFunction[dist, t] gives the central moment generating function for the symbolic distribution dist as a function of the variable t. ...
Subgraph[g, {v_1, v_2, ...}] gives the subgraph of the graph g generated by the vertices v_i.Subgraph[g, {e_1, e_2, ...}] gives the subgraph generated by the edges ...
LaplacianGaussianFilter[image, r] convolves image with a Laplacian-of-Gaussian kernel of pixel radius r.LaplacianGaussianFilter[image, {r, \[Sigma]}] convolves image with a ...
MaxValue[f, x] gives the maximum value of f with respect to x.MaxValue[f, {x, y, ...}] gives the maximum value of f with respect to x, y, .... MaxValue[{f, cons}, {x, y, ...
FindVertexCover[g] finds a vertex cover of the graph g with a minimum number of vertices.