Viète's formula is used in mathematics to find the roots of a polynomial equation.

An atomic formula is a formula that contains no logical connectives.

The formal validities of the document were carefully reviewed.

Formal ontologies are widely used in knowledge representation and semantic web applications.

Formal systems are widely used in computer science and mathematics.

The compound contains many formula units.

The drivers completed two formation laps before the start of the race.

The formal causes of the problem were identified and addressed.

There are many formal fallacies in his argument.

The analysis of formation waters is crucial for understanding the geological processes.