[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 int-gcd

abs-gcd-not-less(1,1)div-eq(2,1)div-one-neg-pos(1,0)divides-neg(8,5)gcd-div2(0,0)gcd-nls-zero(2,1)gcd-zero-02(2,1)max_prime_divisor-nle(4,2)prime-163(11,7)prime-not-four(4,2)
abs-not-less(1,0)div-eq-one(2,1)div-one-one(5,3)divides-pot-prime(8,3)gcd-divides(1,1)gcd-one(16,7)gcd-zero-03(1,0)max_prime_divisor-nle-01(6,3)prime-23(10,6)prime-not-neg(2,1)
case-10(14,7)div-gcd-is-neg(4,2)div-one-one-neg(5,3)divides-prime(20,10)gcd-divides-01(2,1)gcd-one-01(1,1)gcd-zero-04(4,3)max_prime_divisor-nle-zero(4,2)prime-29(12,7)prime-not-neg-01(2,1)
case-20(18,9)div-gcd-is-neg-01(4,3)div-one-pos(1,0)exgcd-div(6,4)gcd-divides-both(15,8)gcd-one-eq(11,6)gcd-zero-05(10,8)max_prime_divisor-nle-zero-01(2,1)prime-317(8,5)prime-not-odd(2,1)
case-30(18,9)div-gcd-is-neg-01-01(5,3)div-zero(2,2)gcd-abs(1,0)gcd-divides-both-h(10,5)gcd-one-eq-01(3,3)gcd-zero-zero(2,1)max_prime_divisor-nls(6,3)prime-43(14,8)prime-odd(4,2)
case-40(18,9)div-gcd-neg-not-zero(4,2)div-zero-01(2,2)gcd-abs-rew(2,2)gcd-ge-one(1,0)gcd-one-eq-02(4,3)gcdex(20,18)max_prime_divisor-nls-01(3,2)prime-5(9,6)prime-odd-01(6,3)
coprime-divides(4,2)div-gcd-not-neg(3,2)div-zero-zero(2,1)gcd-abs-rew-01(2,2)gcd-less(2,1)gcd-one-prime(4,2)gcdex-not-unique(5,2)max_prime_divisor-nls-02(20,10)prime-631(10,6)prime-one(2,1)
coprime-divides-01(6,4)div-gcd-one(1,1)divides(0,0)gcd-abs-rew-02(19,11)gcd-less-eq-zero(1,0)gcd-pos(2,1)gcdex-pos(17,9)max_prime_divisor-nls-03(8,4)prime-7(8,5)prime-small(2,1)
coprime-divides-02(2,1)div-gcd-zero(4,3)divides-abs(1,1)gcd-add(3,2)gcd-max(0,0)gcd-prime(6,2)gcdex-smallest-pos(8,4)max_prime_divisor-nls-zero(4,3)prime-83(6,4)prime-three(4,3)
coprime-divides-03(2,1)div-mod(5,5)divides-abs-01(7,3)gcd-com(13,7)gcd-max-prop(3,3)gcd-primes(6,3)gcdhex(23,14)max_prime_divisor-not-zero(2,1)prime-abs(1,0)prime-two(4,1)
coprime-divides-04(1,1)div-mod-01(9,5)divides-abs-02(13,9)gcd-conq-one(22,15)gcd-mod-one(13,8)gcd-rec(41,27)isSquare-mult(19,11)max_prime_divisor-prime(4,2)prime-def(0,0)prime-two-01(1,1)
coprime-mod-zero(6,4)div-mod-zero(2,1)divides-add(9,4)gcd-conq-one-01(6,4)gcd-mod-one-01(5,3)gcd-rec-pos(1,1)isSquare-mult-aux(73,51)mod-gcd(5,3)prime-def-mod(17,9)square-neq-any(8,5)
coprime-pot(12,5)div-mod-zero-01(2,1)divides-minus(1,0)gcd-div-eq(4,2)gcd-mult(8,6)gcd-rec-sub(10,5)max_prime_divisor-abs(1,0)mod-gcd-01(7,4)prime-def-prime(26,11)square-neq-any-pos(11,6)
div-abs(5,3)div-mult(2,1)divides-mod(3,2)gcd-div-gcd(5,4)gcd-mult-01(2,2)gcd-rec-sub-01(54,44)max_prime_divisor-abs-01(1,0)mod-square-10(20,12)prime-divides(4,2)square-neq-any-pos-01(18,14)
div-abs-01(7,4)div-mult-01(1,0)divides-mone(3,2)gcd-div-gcd-pos(22,13)gcd-mult-pos(30,16)gcd-rec-sub-02(2,0)max_prime_divisor-def(0,0)not-less-gcd(2,1)prime-divides-01(2,1)square-neq-any-pos-02(58,39)
div-abs-02(10,6)div-mult-div(2,1)divides-mult(2,2)gcd-div-mult(2,1)gcd-mult-pos-01(1,0)gcd-rec-sub-03(62,51)max_prime_divisor-divides(4,2)num-gcd-pos(3,1)prime-divides-one(2,1)square-neq-pos(20,14)
div-abs-03(1,1)div-mult-shift(2,1)divides-mult-01(2,1)gcd-div-mult-shift(4,2)gcd-neg(5,3)gcd-same(3,3)max_prime_divisor-divides-01(2,1)pot-isSquare(23,13)prime-ex-max(14,8)square-neq-pos-h(8,5)
div-abs-04(5,3)div-neg(8,5)divides-mult-02(4,2)gcd-div-rest(8,5)gcd-negone-eq(5,4)gcd-same-01(1,1)max_prime_divisor-divides-02(6,4)prime-11(8,5)prime-le-2(1,0)square-neq-prime(12,6)
div-div(4,2)div-not-ls(2,1)divides-mult-add(2,1)gcd-div-shift(2,1)gcd-nls(4,3)gcd-same-02(1,1)max_prime_divisor-divides-03(8,5)prime-1259(12,7)prime-mult-eq(1,0)square-prime-eq(6,3)
div-div-01(4,2)div-one(1,1)divides-mult-sub(3,3)gcd-div1(0,0)gcd-nls-01(2,1)gcd-zero(0,0)max_prime_divisor-ge2(15,8)prime-13(8,5)prime-mult-not(4,1)