formulae

Usually this means a whole lot of tensor formulae; see e.g.

Having a tweet score based on those formulae could allow twitter to filter out less interesting tweets from users' feeds.

Instead of using an equation array in latex, use a numbered markdown list with latex formulae.

Note that a program logic does not necessarily admit characteristic formulae for all programs.

One drawback of Mathematica is that it has a very poor idea of the formulae that human readers will regard as simple.

They look for interviewer formulae they can plug a random company developer, who would probably rather be working on something else, into.

Characteristic formulae come the theory of communicating processes, see [1] for an overview.

I learned so much more from that site than watching a professor scribble out the formulae on a chalkboard.

As an aside, I think it's a growing problem that the formulae in Homebrew are not updated to support 10.6.8.

This is largely due to their desire to emulate mathematical formulae.

Characteristic formulae are a powerful concept of program logic.

I didn't know Z3 could handle formulae with real numbers.

What does "numerically" mean and how does it allow one to implement rigid body physics in a "much easier way" than using the known formulae?

The simplest of formulae says "Yes" ( 1m/2pis = +/- 15 cm).

The implicit assumptions are usually along the lines of "the assumptions seem obvious enough, and look at all those formulae in the transformations thereof!"

Ingolfsdottir, Characteristic Formulae: From Automata to Logic.