### Some articles on *formulae*:

CTL* - Syntax

... The language of well-formed CTL*

... The language of well-formed CTL*

**formulae**is generated by the following unambiguous (wrt bracketing) context-free grammar where ranges over a set of atomic formulas ... Valid CTL*-**formulae**are built using the nonterminal ... These**formulae**are called state**formulae**, while those created by the symbol are called path**formulae**...Aristarchus On The Sizes And Distances - Lunar Eclipse

... The following

... The following

**formulae**give the distances to the Sun and Moon in terrestrial units where θ is the apparent radius of the Moon and Sun measured in degrees ... It is unlikely that Aristarchus used these exact**formulae**, since he would have lacked a precise value for π ... These**formulae**are likely a good approximation to those of Aristarchus ...Regular Category - Regular Logic and Regular Categories

... , where and are regular

... , where and are regular

**formulae**i.e ...**formulae**built up from atomic**formulae**, the truth constant, binary meets and existential quantification ... Such**formulae**can be interpreted in a regular category, and the interpretation is a model of a sequent ...Cosec(x) - Identities

... turn lead to the following three-angle

... turn lead to the following three-angle

**formulae**When the two angles are equal, the sum formulas reduce to simpler equations known as the double-angle**formulae**When three angles are equal, the three-angle ...List Of

... The following is a list of significant

**Formulae**Involving π... The following is a list of significant

**formulae**involving the mathematical constant π ... The list contains only**formulae**whose significance is established either in the article on the formula itself, the article on pi, or the one on numerical approximations of π ...### Famous quotes containing the word formulae:

“I don’t believe in providence and fate, as a technologist I am used to reckoning with the *formulae* of probability.”

—Max Frisch (1911–1991)