- 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...
- 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...
- 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...
-
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...
- In mathematics, a
differential equation is an
equation that
relates one or more
unknown functions and
their derivatives. In applications, the functions...
- The Schrödinger
equation is a
linear partial differential equation that
governs the wave
function of a quantum-mechanical system.: 1–2 Its
discovery was...
- In algebra, a
quadratic equation (from
Latin quadratus 'square') is any
equation that can be
rearranged in
standard form as a x 2 + b x + c = 0 , {\displaystyle...
- The Navier–Stokes
equations (/nævˈjeɪ stoʊks/ nav-YAY STOHKS) are
partial differential equations which describe the
motion of
viscous fluid substances...
