Struck by another way to manipulate an equation, she turned back to her calculational table.

An algorithm is a calculational procedure; all computer programs are algorithms.

A generally accepted calculational framework to account for this constraint has yet to be found.

The difference between these two approximations is used to estimate the calculational error of the integration.

Using improved calculational methods, they found that Dancoff had omitted one term or two terms.

They decided that seismic clues might reveal whether the rotation was more than a calculational fantasy.

For once he wanted to accomplish something entirely by himself, by rigid adherence to the calculational results.

The post-Newtonian expansion is a calculational method that provides a series of ever more accurate solutions to a given problem.

Understanding Heisenberg's 'magical' paper of July 1925: a new look at the calculational details.

The brilliant calculational successes can seem a little brittle when they are coupled with the degree of conceptual confusion still present.

Part II consists of word and calculational questions which determine competency in applied health physics.

One was merely an image of the other, yet through no calculational proof could an observer determine which one was real.

These logics often require calculational devices quite distinct from propositional calculus.

However it is also difficult to think of a wavefunction as a mere calculational device, in the way that Bohr's words quoted above suggested.

Noether's theorem is important, both because of the insight it gives into conservation laws, and also as a practical calculational tool.

Pushing the extremes of calculational speed, Q is expected to run in sprints for just a few hours before it requires rebooting.

Davis calls such calculational procedures "algorithms".

Unfortunately, Omnius would remember this latest incident, in which the robot had made an apparent calculational error, and then claimed to have corrected it.

This creates additional calculational complications.

The calculational approach is limited to writing proof fragments, and longer derivations are commonly decomposed into several separate subproofs.

These operators are complicated, and we would like to be able to find a simpler representation, which can be used to generate approximate calculational schemes.

"Without the calculational system they developed," Dr. Glashow said, "no one would have taken the electro-weak theory seriously."

As such, the format can be seen as combining the benefits of the calculational style with the decomposition facilities of natural deduction.

For calculational purposes the Feynman approach is an unwieldy steam-hammer only capable of cracking some particularly brittle nuts.

Given that encouraging fact, could there be a generalized "calculational procedure" that would tell us whether a conclusion can be derived from its premises?