Sentence examples for used to write mathematical from inspiring English sources

The Mizar system (Trybulec 1979, Muzalewski 1993) is based on Tarski-Grothendieck set theory and, like Automath, consists of a formal language which is used to write mathematical theorems and their proofs.

She used to write poetry.

In prison he used toilet paper to write mathematical proofs.

The diagrams do not explicitly encode information about the time dependence of interactions and therefore cannot be used to unambiguously write the correct mathematical model associated with the genetic process they are meant to describe.

To accomplish this, CFD was used to discretize mathematical equations.

Numerical simulations can be used to illustrate the mathematical results.

A set of graphical rules can be derived so that the probability of a specific scattering process can be calculated by drawing a diagram of that process and then using the diagram to write down the mathematical expressions for calculating its amplitude.

The mathematical measurements used to determine the balburst were written on a white balloon, which was then popped and cut into five pieces.

With Gregory's support, which included coaching Boole on how to write a mathematical paper, Boole entered the public arena of mathematical publication in 1841.

The mathematical models used to predict economic behaviour were flawed.

It developed the mathematical formula used to generate the credit scores used by most lenders.