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