query: question on second -> first order systems
positive_passages.docid: 23962
positive_passages.text: How to reduce higher order linear ODE to a system of first order ODE?
negative_passages.docid: 31979
negative_passages.text: Notation: Why write the differential first?
negative_passages.docid: 82739
negative_passages.text: Why is $\alpha \rightarrow \forall x(\alpha)$ not generally correct in first-order logic?
negative_passages.docid: 128867
negative_passages.text: Inverse of order preserving transformation
negative_passages.docid: 29952
negative_passages.text: Time-ordering vs normal-ordering and the two-point function/propagator
negative_passages.docid: 154356
negative_passages.text: The "difference" of two ordinals
negative_passages.docid: 107290
negative_passages.text: proof of product rule of derivatives using first principle?
negative_passages.docid: 60897
negative_passages.text: Non-integer order derivative
negative_passages.docid: 57811
negative_passages.text: Properties of the solution of the Ordinary Differential Equation $y' = y(y-1)(y-2)$ as per the Initial conditions?
negative_passages.docid: 108533
negative_passages.text: Is there any formula of monadic second-order logic that is only satisfied by an infinite set?
negative_passages.docid: 68752
negative_passages.text: A few questions about infinite derivative.
negative_passages.docid: 50089
negative_passages.text: characterization of the existence of higher order expectation.
negative_passages.docid: 69911
negative_passages.text: Does non-uniqueness of solution to 1st order ODE implies the existence of infinitely many solutions?
negative_passages.docid: 61438
negative_passages.text: A question regarding existence and uniqueness in IVP
negative_passages.docid: 101163
negative_passages.text: Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?
negative_passages.docid: 126516
negative_passages.text: Under what condition we can interchange order of a limit and a summation?
negative_passages.docid: 40937
negative_passages.text: Is the set of partial order relations over $ \mathbb{N}$ countable?