Translation of "Bounded rational" in German
In
computability
theory,
a
Specker
sequence
is
a
computable,
monotonically
increasing,
bounded
sequence
of
rational
numbers
whose
supremum
is
not
a
computable
real
number.
In
der
Berechenbarkeitstheorie
ist
die
Specker-Folge
eine
berechenbare,
monoton
wachsende,
beschränkte
Folge
von
rationalen
Zahlen,
deren
Supremum
keine
berechenbare
reelle
Zahl
ist.
Wikipedia v1.0
Special
tasks
are
the
computation
of
lattice
points
in
bounded
rational
polytopes
and
Hilbert
bases
of
rational
cones.
Spezielle
Aufgaben
sind
die
Berechnung
von
Gitterpunkten
in
beschränkten
rationalen
Polytopen
und
in
Hilbert-Basen
von
rationalen
Kegeln.
WikiMatrix v1
The
number
of
the
sectors
is
rationally
bounded
above
by
the
number
of
the
fastening
screws
on
the
circumference
of
the
end
shield
on
the
motor
housing.
Die
Anzahl
der
Sektoren
ist
sinnvollerweise
nach
oben
durch
die
Anzahl
der
Befestigungsschrauben
am
Umfang
des
Lagerschildes
am
Motorgehäuse
begrenzt.
EuroPat v2