Nuprl Definition : rat-cube-complex-polyhedron
|K| == {p:ℝ^k| ¬¬(∃c∈K. in-rat-cube(k;p;c))}
Definitions occuring in Statement :
in-rat-cube: in-rat-cube(k;p;c),
real-vec: ℝ^n,
l_exists: (∃x∈L. P[x]),
not: ¬A,
set: {x:A| B[x]}
Definitions occuring in definition :
in-rat-cube: in-rat-cube(k;p;c),
l_exists: (∃x∈L. P[x]),
not: ¬A,
real-vec: ℝ^n,
set: {x:A| B[x]}
FDL editor aliases :
rcc-polyhedron
rcc-polyhedron
Latex:
|K| == \{p:\mBbbR{}\^{}k| \mneg{}\mneg{}(\mexists{}c\mmember{}K. in-rat-cube(k;p;c))\}
Date html generated:
2019_10_30-AM-10_13_04
Last ObjectModification:
2019_10_29-PM-00_55_05
Theory : real!vectors
Home
Index