The phrase 'description of the formula' is correct and usable in written English.
You can use it when you wish to describe a mathematical, chemical, or other type of formula. For example, "This article provides a detailed description of the formula used to calculate the surface area of a sphere."
The following part of this section is mainly focused on the description of the formulas resulted from the second-order partial derivatives of the log-likelihood function for the off-diagonal elements of the Hessian matrix.
A complete description of the formulae used for these calculations is provided in Pettolino et al.[ 31].
The State Education Department's description of all the formulas fills 59 pages, studded with jargon like "selected total aidable pupil unit" and "transition adjustments".
Existing research on these intersections is first outlined, followed by a description of the buckling strength formulae recently developed to approximate finite element buckling loads of the perfect geometry.
In all cases Tarski assigns to each formula, by induction on the complexity of formulas, a description of the class of assignments that satisfy the formula.
A detailed description of the mobility or impedance formulae is given for a rigid mass oscillating in a plane (the source), for a beam on which flexural and longitudinal waves propagate (the mounts) and for an infinite or finite plate in which in-plane shear and longitudinal and out-of-plane flexural waves propagate (the receiver).
Schemes, photographs, formulas, description of the research and test results taken from the original papers published by the wind tunnel designers are given.
The algorithm generates an SMV input file containing a description of the SIPN and temporal logic formulae for standard properties of the controller.
However, the original description of the metric (Endler, 1990) provided formulas that only result in correct values for a portion of color space.
From the verification point of view, the description of the lacking component through a logic formula guarantees correctness of the integration with p of any process that exhibits a behaviour compliant with the inferred formula.
