### Some articles on *formulae*:

Cosec(x) - Identities

... using Euler's formula These in turn lead to the following three-angle

... using Euler's formula These in 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 ...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 ... 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 ...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**...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 ...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 ...### 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)