Home
last modified time | relevance | path

Searched refs:linearity (Results 151 – 175 of 850) sorted by relevance

12345678910>>...34

/dports/math/latte-integrale/latte-version_1_7_6/EXAMPLES/yoshida/
H A D3x3x3_semi_7.equ56 linearity 27 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
H A D3x3x3_semi_8.equ56 linearity 27 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
H A D3x3x3_semi_9.equ56 linearity 27 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
H A Dhyp_simp_4_1.equ11 linearity 1 1
H A Dhyp_simp_5_1.equ13 linearity 1 1
H A Dhyp_simp_5_2.equ13 linearity 1 1
H A Dhyp_simp_5_3.equ13 linearity 1 1
H A Dhyp_simp_6_2.equ15 linearity 1 1
H A Dhyp_simp_6_5.equ15 linearity 1 1
H A Dhyp_simp_7_1.equ17 linearity 1 1
H A Dknapsack1.equ13 linearity 1 1
H A Dknapsackbaby2.equ5 linearity 1 1
H A Dprob1_1.equ11 linearity 1 1
H A Dprob2_1.equ11 linearity 1 1
H A Dprob3_1.equ11 linearity 1 1
H A Dprob5_1.equ11 linearity 1 1
H A Dprob7_1.equ13 linearity 1 1
/dports/math/latte-integrale/latte-version_1_7_6/EXAMPLES/birkhoff/
H A Dbirkhoff-10.latte22 linearity 20 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
H A Dbirkhoff-12.latte26 linearity 24 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
H A Dbirkhoff-4.latte10 linearity 8 8 7 6 5 4 3 2 1
H A Dbirkhoff-9.latte20 linearity 18 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
/dports/math/latte-integrale/latte-version_1_7_6/EXAMPLES/
H A Dcuww13 linearity 1 1
H A Dmagic5x514 linearity 12 12 11 10 9 8 7 6 5 4 3 2 1
H A Dgarcia13 linearity 5 1 2 3 4 5
/dports/math/latte-integrale/latte-version_1_7_6/EXAMPLES/aimPresentation/examples/easy/
H A Dbirkhoff-4.latte10 linearity 8 8 7 6 5 4 3 2 1

12345678910>>...34