[Imprint]
[Data Privacy Statement]
[E-Mail]
Back to
main index
. View
the specification
. View
theorem base summary
, View
theorem base listing
, the
used properties by spec
, the
dependency list
, the
symbol table
,
Theorem base summary for Specification decimal-complex-ops
Status:
Proved!
Axioms: 8, User Theorems: 20 (Proved: 20, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 229, Interactions: 142
div-def(0,0)
isSquare-isSquare(5,4)
sqrt-even-precision-def(0,0)
test-div-01(13,7)
test-divides-02(12,8)
test-sqrt-03(13,7)
div-exact-def(0,0)
isSquare-pos(2,1)
sqrt-exact-def(11,6)
test-div-02(17,13)
test-divides-03(16,10)
test-sqrt-04(15,8)
div-precision-def(0,0)
isSquare-scale(2,1)
sqrt-exact-square(4,2)
test-div-03(21,15)
test-divides-04(10,7)
test-sqrt-05(15,8)
divides-def(0,0)
isSquare-square(2,1)
sqrt-isSquare(6,3)
test-div-04(15,12)
test-sqrt-01(12,8)
isSquare-def(0,0)
sqrt-def(0,0)
sqrt-odd-precision-def(0,0)
test-divides-01(25,14)
test-sqrt-02(13,7)