These techniques were introduced by and are sometimes called Blissard's symbolic method.

In mathematics and computer science, symbolic-numeric computation is the use of software that combines symbolic and numeric methods to solve problems.

The intensive use of the Laplace transform in engineering led to the heuristic use of symbolic methods, called operational calculus.

One of the highlights of this relationship is the symbolic method.

In a separate development the symbolic method of invariant theory, an apparently heuristic combinatorial notation, has been rehabilitated.

Historically, the first symbolic methods used BDDs.

He studied algebra in the form of symbolic methods, as these were understood at the time, and began to publish research papers.

Boole did not regard logic as a branch of mathematics, but he provided a general symbolic method of logical inference.

This extends the range of symbolic methods that can be made into rigorous mathematics, for example Feynman integrals.

The symbolic method held that dreams had to be considered in their entirety, and therefore are unified in their meanings.