- up
equational in Wiktionary, the free dictionary.
Equational may
refer to: Equative, a
construction in
linguistics something pertaining to
equations, in...
- EQP (
Equational prover) is an
automated theorem proving program for
equational logic,
developed by the
Mathematics and
Computer Science Division of the...
- first-order
logic with equality. It is
based on the
equational superposition calculus and uses a
purely equational paradigm. It has been
integrated into other...
- form of identities, or
equational laws. An
example is the ****ociative
axiom for a
binary operation,
which is
given by the
equation x ∗ (y ∗ z) = (x ∗ y) ∗ z...
- an
equation is a
mathematical formula that
expresses the
equality of two expressions, by
connecting them with the
equals sign =. The word
equation and...
- com/browse/
equational+logic Gries, D. (2010).
Introduction to
equational logic .
Retrieved from http://www.cs.cornell.edu/home/gries/Logic/
Equational.html Archived...
-
equations, also
known as a
system of
equations or an
equation system, is a
finite set of
equations for
which common solutions are sought. An
equation...
- The Schrödinger
equation is a
partial differential equation that
governs the wave
function of a non-relativistic quantum-mechanical system.: 1–2 Its...
- In
universal algebra, a
variety of
algebras or
equational class is the
class of all
algebraic structures of a
given signature satisfying a
given set of...
- In mathematics, a
differential equation is an
equation that
relates one or more
unknown functions and
their derivatives. In applications, the functions...
