Sentence examples for resolvent from inspiring English sources

He was able to show that the solution of an equation depends on the construction of a second resolvent equation, but he was unable to provide a general procedure for solving the resolvent when the degree of the original equation was greater than four.

Then, a resolvent obtained by resolution from C1 and C2 is defined as: (a) a binary resolvent of C1 and C2; (b) a binary resolvent of C1 and a factor of C2; (c) a binary resolvent of a factor of C1 and C2; or, (d) a binary resolvent of a factor of C1 and a factor of C2.

by binary resolution; the clause (C1θ − l1θ) ∨ (C2θ − ~l2θ) is called a binary resolvent of C1 and C2.

The inside of the body is yin, the surface or skin is yang; the spleen, lungs, and kidneys are yin, the heart and liver are yang; a disease is yin when it results from internal causes, yang when it comes from external causes; purgatives, bitter substances, and cold infusions are yin drugs, while resolvents, pungent substances, and hot decoctions are yang drugs.

Hyperresolution (Robinson 1965b) reduces the number of intermediate resolvents by combining several resolution steps into a single inference step.