equation

(redirected from equational)
Also found in: Dictionary, Medical, Legal, Financial, Encyclopedia, Wikipedia.
Related to equational: recanalize, equational logic, premenarchal
Graphic Thesaurus  🔍
Display ON
Animation ON
Legend
Synonym
Antonym
Related
  • noun

Synonyms for equation

Synonyms for equation

the state of being equivalent

Synonyms for equation

References in periodicals archive ?
Theorem 1 The equational theory of the class E coincides with the equational theory of the class [E.
Notably, one year after the publication of Carother's 1931 paper, Darlington (1932) correctly interpreted her images of heteromorphic bivalents and established that first division is reductional with respect to the centromere and the region between it and the first chiasma, while the portion distal to the chiasma undergoes equational segregation (Darlington 1958, Hegreness & Meselson 2007).
Ada and the Equational Theory of If-Then-Else", Algebra Universalis 30 (1993), 373-394.
Vojtechovsky, The varieties of quasigroups of Bol-Moufang type: An equational approach, J.
The final chapter offers further observations on constituent order in equational sentences (290), verbal clauses (290-95), and complex sentences (295-98).
s (1991) equational account is that it, quite matter-of-factly, spans an uncertain space.
Reductional and equational separation of the chromosomes in bivalents and multivalents.
This is an equational construction which strongly implies that new things might be 'mistaken'-- in contrast to things vakavanua.
The fight ascension axis rotates an equational fork that is mounted in the optical tube assembly, which contains the telescope mirrors and is positioned by the declination axis drive.
Finally, by showing the close affinity between Wittgenstein's approach and Skolem's primitive recursive arithmetic, Marion also shows that Wittgenstein's positions had strong heuristic value, as evidenced by the logical investigations of Louis Goodstein (a student of Wittgenstein in the early 1930s) on logic-free equational calculi.
There are also many systems that use other sound deductive techniques, such as natural deduction (THINKER [PELLETIER 1986], MIZAR [Rudnicki 1992] and ONTIC [McAllester 1989]) and/or equational logic (OTTER [McCune and Wos 1997]).
We show that saturation can not only detect locality in many cases (order locality and saturation are both undecidable), but for many non-local clause sets, saturation still terminates and yields a local presentation of the same theory; this is analogous to the role played by Knuth/Bendix completion in the equational setting.
Nevertheless, there are cases in which there is no simple finite equational representation of the (possibly infinite) solutions of a goal involving set-theoretic operations.
Later, Lloyd's Essay on the Theory of Money also presented conclusions of the quantity theory in equational form.