The phrase "a computational proof" is correct and usable in written English.
It can be used in contexts related to mathematics, computer science, or logic where a proof is derived or verified through computational methods.
Example: "The researchers presented a computational proof that confirmed the conjecture using advanced algorithms."
Alternatives: "a proof by computation" or "a proof using computational methods".
Overall, our results indicate similar activity between porphyrin-supported copper oxide nanoclusters and existing Cu-exchanged zeolites and provide a computational proof-of-concept for utilizing functionalized organic linkers in metal-organic frameworks (MOFs) for selective oxidation of methane to methanol.
In 1981, Starr published an iterative method for computing a representation of a given sum-point; however, his computational proof provides a weaker bound than does the original result.
For her thesis, Noether extended Gordan's computational proof to homogeneous polynomials in three variables.
The blockchain is composed, as you might guess, of "blocks," each consisting of a list of recent bitcoin transactions, time-stamped and verified by one of the network's "miners"—computers that secure a block's inclusion on the chain by solving a computational puzzle called a proof of work.
The blockchain is composed, as you might guess, of "blocks," each consisting of a list of recent bitcoin transactions, time-stamped and verified by one of the network's "miners" — computers that secure a block's inclusion on the chain by solving a computational puzzle called a proof of work.
When viewing proof search as a computational model, we can see formulas in a sequent as being "agents" that may act independently or in concert with others in its environment: the action of the agent is determined by reading the introduction rule for it bottom-up.
These results lay a computational basis and a counterpart experimental proof of concept for future personalized metabolic modeling applications, enhancing the search for novel selective anticancer therapies.
From a computational point of view, variants of the proof nets of linear logic have provided the basis for typelogical natural language processing.
Like biology, crystallography is increasingly becoming a computational science, relying on fast computers and clever software.
