%PDF-1.3 1 0 obj << /Kids [ 3 0 R 4 0 R 5 0 R 6 0 R 7 0 R 8 0 R 9 0 R 10 0 R 11 0 R 12 0 R ] /Type /Pages /Count 10 >> endobj 2 0 obj << /Title (Efficient Solvers for Minimal Problems by Syzygy\055Based Reduction) /Producer (PyPDF2) /Author (Viktor Larsson\054 Kalle Astrom\054 Magnus Oskarsson) /Subject (2017 IEEE Conference on Computer Vision and Pattern Recognition) >> endobj 3 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 14 0 R /Resources << /XObject << /x8 15 0 R /x6 18 0 R /x12 21 0 R /x10 24 0 R >> /ExtGState << /s9 27 0 R /s11 30 0 R /a0 << /CA 1 /ca 1 >> /R23 33 0 R /s5 34 0 R /s7 37 0 R >> /Font << /R40 40 0 R /F2 45 0 R /R28 46 0 R /F1 51 0 R /R38 52 0 R /R36 55 0 R /R34 59 0 R /R32 63 0 R /R24 67 0 R /R30 71 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R ] >> endobj 4 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 91 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /F2 92 0 R /R59 93 0 R /R71 98 0 R /R40 40 0 R /R65 102 0 R /R67 107 0 R /F1 110 0 R /R61 111 0 R /R63 115 0 R /R38 52 0 R /R34 59 0 R /R69 118 0 R /R24 67 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 123 0 R 124 0 R 125 0 R 126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R ] >> endobj 5 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 135 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /R59 93 0 R /R71 98 0 R /R40 40 0 R /F2 136 0 R /R88 137 0 R /R90 140 0 R /R92 145 0 R /R94 149 0 R /R86 152 0 R /R65 102 0 R /R67 107 0 R /F1 155 0 R /R61 111 0 R /R63 115 0 R /R38 52 0 R /R34 59 0 R /R69 118 0 R /R24 67 0 R /R30 71 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 156 0 R 157 0 R 158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R ] >> endobj 6 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 164 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /F2 165 0 R /R34 59 0 R /R59 93 0 R /R94 149 0 R /R40 40 0 R /R65 102 0 R /R67 107 0 R /F1 166 0 R /R61 111 0 R /R63 115 0 R /R92 145 0 R /R69 118 0 R /R24 67 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 167 0 R 168 0 R 169 0 R 170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R 176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R 186 0 R 187 0 R 188 0 R ] >> endobj 7 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 189 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /F2 190 0 R /R59 93 0 R /R65 102 0 R /F1 191 0 R /R61 111 0 R /R63 115 0 R /R90 140 0 R /R34 59 0 R /R92 145 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 192 0 R 193 0 R 194 0 R 195 0 R 196 0 R 197 0 R 198 0 R 199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 206 0 R 207 0 R 208 0 R 209 0 R 210 0 R 211 0 R 212 0 R 213 0 R 214 0 R 215 0 R 216 0 R 217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R 226 0 R 227 0 R 228 0 R 229 0 R 230 0 R 231 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R ] >> endobj 8 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 237 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /F2 238 0 R /R196 239 0 R /R59 93 0 R /R40 40 0 R /R65 102 0 R /R67 107 0 R /F1 242 0 R /R61 111 0 R /R63 115 0 R /R86 152 0 R /R92 145 0 R /R34 59 0 R /R69 118 0 R /R24 67 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 243 0 R 244 0 R 245 0 R 246 0 R 247 0 R 248 0 R 249 0 R 250 0 R 251 0 R 252 0 R 253 0 R 254 0 R 255 0 R 256 0 R 257 0 R 258 0 R 259 0 R ] >> endobj 9 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 260 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /R212 261 0 R /R196 239 0 R /R214 265 0 R /R216 268 0 R /R218 271 0 R /R40 40 0 R /F2 274 0 R /F1 275 0 R /R90 140 0 R /R92 145 0 R /R86 152 0 R /R59 93 0 R /R65 102 0 R /R28 46 0 R /R67 107 0 R /R61 111 0 R /R63 115 0 R /R34 59 0 R /R69 118 0 R /R24 67 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 276 0 R 277 0 R 278 0 R 279 0 R 280 0 R 281 0 R 282 0 R 283 0 R 284 0 R 285 0 R ] >> endobj 10 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 286 0 R /Resources << /XObject << /R229 287 0 R /R233 288 0 R /R232 289 0 R /R231 290 0 R /R230 291 0 R >> /ExtGState << /R23 33 0 R >> /Font << /R212 261 0 R /R196 239 0 R /R214 265 0 R /R216 268 0 R /R236 292 0 R /R234 297 0 R /R40 40 0 R /F2 300 0 R /F1 301 0 R /R86 152 0 R /R59 93 0 R /R65 102 0 R /R28 46 0 R /R61 111 0 R /R63 115 0 R /R218 271 0 R /R24 67 0 R /R26 74 0 R >> /ProcSet [ /Text /ImageC /ImageB /PDF /ImageI ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 302 0 R 303 0 R 304 0 R 305 0 R 306 0 R ] >> endobj 11 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 307 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /F2 308 0 R /R34 59 0 R /F1 309 0 R /R24 67 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R 315 0 R 316 0 R 317 0 R 318 0 R 319 0 R 320 0 R 321 0 R 322 0 R 323 0 R 324 0 R 325 0 R 326 0 R 327 0 R 328 0 R 329 0 R 330 0 R 331 0 R 332 0 R 333 0 R 334 0 R 335 0 R 336 0 R 337 0 R 338 0 R 339 0 R 340 0 R 341 0 R 342 0 R 343 0 R 344 0 R 345 0 R 346 0 R ] >> endobj 12 0 obj << /Parent 1 0 R /Rotate 0 /Type /Page /Contents 347 0 R /Resources << /ExtGState << /R23 33 0 R >> /Font << /F2 348 0 R /R34 59 0 R /F1 349 0 R /R26 74 0 R >> /ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ] >> /MediaBox [ 0 0 612 792 ] /Annots [ 350 0 R 351 0 R 352 0 R 353 0 R 354 0 R 355 0 R 356 0 R 357 0 R 358 0 R 359 0 R 360 0 R 361 0 R 362 0 R 363 0 R 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R 369 0 R 370 0 R 371 0 R 372 0 R 373 0 R 374 0 R 375 0 R 376 0 R 377 0 R 378 0 R 379 0 R 380 0 R 381 0 R 382 0 R 383 0 R ] >> endobj 13 0 obj << /Type /Catalog /Pages 1 0 R >> endobj 14 0 obj << /Length 20286 >> stream q q q 0.10000 0 0 0.10000 0 0 cm /R23 gs 0 g q 10 0 0 10 0 0 cm BT /R24 14.34620 Tf 1 0 0 1 92.16910 675.06700 Tm [ <4566026369656e74> -249.99600 (Solv) 9.99285 (ers) -250 (f) 24.99150 (or) -249.99500 (Minimal) -250.00500 (Pr) 18.00480 (oblems) -249.99000 (by) -250.01300 (Syzygy\055based) -250.00200 (Reduction) ] TJ /R26 11.95520 Tf 76.80080 -37.85820 Td [ (V) 59.99060 (iktor) -250.00800 (Larsson) -1250 (Kalle) ] TJ 117.48200 1.85781 Td <09> Tj -2.31875 -1.85781 Td (Astr) Tj 21.58400 0.06016 Td (\250) Tj -0.99805 -0.06016 Td [ (om) -1249.99000 (Magnus) -250.01200 (Oskarsson) ] TJ -88.28200 -13.94800 Td [ (Centre) -249.99700 (for) -249.99500 (Mathematical) -250.00200 (Sciences) ] TJ 42.06410 -13.94690 Td [ (Lund) -249.99500 (Uni) 24.99570 (v) 14.98510 (ersity) ] TJ /R28 8.96640 Tf -59.94220 -13.94800 Td [ (f) -0.89990 ] TJ /R30 8.96640 Tf 4.60703 0 Td (viktorl\054kalle\054magnuso) Tj /R28 8.96640 Tf 112.97600 0 Td [ (g) -0.90126 ] TJ /R30 8.96640 Tf 4.60781 0 Td (\100maths\056lth\056se) Tj /R32 7.97010 Tf 72.92700 4.33906 Td [ <03> -0.30019 ] TJ /R24 11.95520 Tf -247.68200 -25.54300 Td (Abstract) Tj /R34 9.96260 Tf -83.92770 -24.37810 Td [ (In) -235.99800 (this) -236.01300 (paper) -237.00200 (we) -235.99100 (study) -235.98100 (the) -235.99200 (pr) 44.98390 (oblem) -235.98400 (of) -237.00700 (automaticall) 1 (y) -236.98500 (g) 10.00320 (en\055) ] TJ -11.95510 -11.95510 Td [ (er) 15.01890 (ating) -224.01200 (polynomial) -223.99600 (solver) 10.01430 (s) -223.99600 (for) -223.98300 (minimal) -222.98500 (pr) 44.98510 (oblems\056) -302.00400 (The) -223.98700 (main) ] TJ 11.95510 TL T* [ (contrib) 19.98870 (ution) -301.99900 (is) -300.99500 (a) -301.98400 (ne) 15.01830 (w) -302.01500 (method) -302.00700 (for) -300.99000 <026e64696e67> -301.99600 (small) -301.99900 (elimination) ] TJ T* [ (templates) -236.00700 (by) -235.01900 (making) -236.01800 (use) -235.99200 (of) -235.00700 (the) -235.99200 (syzygies) -235.00200 (\050i\056e) 15.01960 (\056) -235.99700 (the) -235.99200 (polynomial) ] TJ 11.95630 TL T* [ (r) 37.01960 (elations\051) -402.99600 (that) -403.00600 (e) 19.99180 (xist) -403.01500 (between) -403.01400 (the) -402.98400 (original) -402.98400 (equations\056) -769.98400 (Us\055) ] TJ 11.95510 TL T* [ (ing) -340.98500 (these) -342.01200 (syzygies) -340.98500 (we) -342.01300 (can) -340.99600 (essentially) -341.98300 (par) 14.99500 (ameterize) -340.98000 (the) -342.01400 (set) ] TJ T* [ (of) -249.98500 (possible) -250 (elimination) -249.98300 (templates\056) ] TJ 11.95510 -12.42300 Td [ (W) 91.98650 (e) -333.98800 (e) 15.01280 (valuate) -332.98200 (our) -334.00700 (method) -332.98200 (on) -334.01300 (a) -332.99800 (wide) -334.00200 (variety) -332.99100 (of) -334.01000 (pr) 44.98510 (oblems) ] TJ -11.95510 -11.95510 Td [ (fr) 44.98640 (om) -499.00700 (g) 10.00320 (eometric) -499 (computer) -498.01200 (vision) -498.98900 (and) -499 (show) -498.98500 (impr) 44.99490 (o) 10.00320 (vement) ] TJ T* [ (compar) 36.99380 (ed) -234 (to) -233.98800 (both) -234.01700 (handcr) 15 (afted) -234.02000 (and) -233.98500 (automatically) -233.98500 (g) 10.00320 (ener) 15.01960 (ated) ] TJ 11.95590 TL T* [ (solver) 10.01430 (s\056) -610.98700 (Furthermor) 37.01710 (e) -351.00500 (we) -350.01100 (apply) -350.98200 (our) -350.00400 (method) -351.02000 (on) -350.01000 (two) -351.01500 (pr) 36.98650 (e) 15.01220 (vi\055) ] TJ 11.95510 TL T* [ (ously) -250.01800 (unsolved) -250.01200 (r) 37.01960 (elative) -249.98400 (orientation) -249.98200 (pr) 44.98390 (oblems\056) ] TJ /R24 11.95520 Tf 37.26910 TL T* [ (1\056) -249.99000 (Intr) 18.01460 (oduction) ] TJ /R26 9.96260 Tf 11.95510 -19.39690 Td [ (One) -366.01400 (of) -366.01600 (the) -366.01000 (success) -366.00800 (stories) -365.99300 (of) -366.01600 (computer) -365.99500 (vision) -365.98300 (is) -366.00500 (using) ] TJ -11.95510 -11.95510 Td [ (rob) 20.00340 (ust) -262.99700 (estimation) -263.98700 (schemes) -263 (such) -263.98300 (as) -263.01400 (RANSA) 39.99090 (C) -263.98300 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 235.72500 349.18800 Tm (13) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 245.68800 349.18800 Tm [ (\135) -263.01700 (in) -263.98300 (multi\055) ] TJ -195.57500 -11.95470 Td [ (ple) -330.99600 (vie) 24.98420 (w) -331 (geometry) -330.98200 (estimation\056) -552.01500 (W) 39.99460 (ith) -330.98400 (a) -331.00800 (h) 4.98446 (ypothesis) -331.00100 (and) -330.99900 (test) ] TJ 11.95630 TL T* [ (frame) 25.01240 (w) 10.00140 (ork\054) -225.99200 (one) -221.01600 (can) -220.00600 (ef) 25.00810 <026369656e746c79> -220.98500 (handle) -219.98900 (lar) 17.99700 (ge) -220.98300 (amounts) -220.00500 (of) -220.98000 (out\055) ] TJ 11.95510 TL T* [ (liers) -281 (in) -282.01900 (the) -281.00400 (measured) -281 (data\056) -404.00500 (A) -281.00900 (k) 10.00320 (e) 15.01220 (y) -281.98700 (element) -280.99200 (in) -281 (such) -281 (a) -281.99700 (frame\055) ] TJ T* [ (w) 10.00140 (ork) -344.01400 (is) -342.98800 (the) -344.01300 (ability) -343.00700 (to) -344.00900 (model) -343.99700 (the) -342.99400 (problem) -343.99400 (using) -343.01100 (a) -343.98700 (small) -343.99200 (or) ] TJ T* [ (minimal) -324.99700 (subset) -325.01900 (of) -325.98400 (data) -325 (points) -325.00800 (\226) -325 (a) -325.00900 (so\055called) ] TJ /R34 9.96260 Tf 178.66400 0 Td [ (minimal) -325.00700 (pr) 44.98510 (ob\055) ] TJ -178.66400 -11.95510 Td (lem) Tj /R26 9.96260 Tf 14.38590 0 Td [ (\056) -690 (A) -376.99300 (classic) -376.00200 (e) 15.01220 (xample) -377.01400 (is) -376.98200 (the) -376.98900 (5\055point) -375.98400 (algorithm) -376.99300 (for) -376.99800 (esti\055) ] TJ -14.38590 -11.95510 Td [ (mating) -323.99200 (the) -324.99700 (relati) 24.98600 (v) 14.98280 (e) -323.99000 (pose) -324.99200 (between) -324.01700 (tw) 10.00810 (o) -324.01900 (cameras\054) -343.00200 (gi) 24.98850 (v) 14.98280 (en) -325.00500 (only) ] TJ 11.95590 TL T* [ (image) -306.01100 (point) -305.99800 (measurements\054) -319.99000 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 167.03300 253.54600 Tm (25) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 176.99600 253.54600 Tm (\054) Tj ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 182.53500 253.54600 Tm (12) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 192.49700 253.54600 Tm (\054) Tj ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 198.03600 253.54600 Tm (41) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 207.99900 253.54600 Tm (\054) Tj ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 213.53800 253.54600 Tm (47) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 223.50000 253.54600 Tm [ (\135\056) -477.99900 (The) -305.98300 (underly\055) ] TJ -173.38800 -11.95510 Td [ (ing) -362.98100 (problems) -363.98500 (in) -362.98600 (multiple) -362.99100 (vie) 24.98360 (w) -364.01500 (geometry) -363.01500 (naturally) -363.01300 (lead) -364.01500 (to) ] TJ 11.95510 TL T* [ (systems) -234 (of) -233.01800 (polynomial) -233.98500 (equations) -234.00800 (in) -233.98800 (se) 25.01670 (v) 14.98280 (eral) -232.98600 (v) 24.98110 (ariables\056) -304.99600 (In) -233.99800 (or) 20 (\055) ] TJ T* [ (der) -238.00200 (to) -239.00700 (de) 25.01600 (vise) -237.98500 (tractable) -239.01300 (algorithms\054) -241.00800 (rob) 20.00400 (ust) -237.98200 (and) -239.01400 (f) 9.99588 (ast) -237.99000 (solv) 15 (ers) -238.98200 (of) ] TJ T* [ (polynomial) -268.99900 (equations) -268.00200 (are) -268.98700 (needed\056) -366.01200 (The) -267.99000 (predominant) -269.01400 (w) 10 (ay) -269.01400 (to) ] TJ T* [ (solv) 15.00120 (e) -299.01300 (minimal) -299.98200 (problems) -299.01500 (in) -298.99700 (computer) -300.00600 (vision) -299.01400 (is) -298.99700 (using) -299.99900 (meth\055) ] TJ 11.95590 TL T* [ (ods) -399.99600 (based) -398.98500 (on) -400.00200 (Gr) ] TJ 69.77500 0.05000 Td (\250) Tj -0.83203 -0.05000 Td [ (obner) -400.00400 (bases\056) -759 (The) -400.00700 (reason) -398.98700 (is) -400 (that) -399.99700 (this) -399.98700 (of\055) ] TJ -68.94300 -11.95510 Td [ (ten) -318.99800 (leads) -320.01500 (to) -318.99300 (f) 9.99466 (ast) -320.01600 (and) -319 (numerically) -319.99300 (stable) -318.98800 (algorithms\056) -519.00200 (These) ] TJ 11.95510 TL T* [ (methods) -224.98500 (were) -224.99100 (popularized) -224.99800 (in) -225.00900 (computer) -225 (vision) -224.98700 (by) -225.01100 (Ste) 24.99340 (w) ] TJ 215.77200 0.05000 Td (\264) Tj -0.55312 -0.05000 Td (enius) Tj -215.21900 -11.95510 Td (\133) Tj ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 53.42970 145.95000 Tm (46) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 63.39220 145.95000 Tm [ (\135\056) -608.99700 (The) -348.99600 (earliest) -350.00900 (e) 15.01220 (xamples) -349.01300 (were) -349.98900 (methods) -349.98300 (that) -348.98600 (were) -349.99100 (v) 14.98280 (ery) ] TJ -13.28010 -11.95510 Td [ (much) -312.00900 (handcrafted) -311.00300 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 128.79700 133.99500 Tm (24) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 138.75900 133.99500 Tm (\054) Tj ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 144.35800 133.99500 Tm (48) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 154.32100 133.99500 Tm [ (\135\054) -327.00500 (b) 20.00160 (ut) -310.99500 (since) -312.01700 (then) -312.01400 (much) -310.99000 (ef) 25.00810 (fort) -311.98200 (has) ] TJ -104.20900 -11.95470 Td [ (been) -216.98200 (put) -217.00500 (into) -216.99800 (making) -216.99200 (the) -217.01500 (process) -217.01300 (of) -218.00200 (constructing) -216.98100 (the) -217.01500 (solv) 15 (ers) ] TJ 11.95630 TL T* [ (more) -261.98600 (automatic\056) -345.00700 (One) -261.99200 (of) -261.01400 (the) -261.98800 (main) -262.01500 (challenges) -262.01800 (is) -261.00300 (w) 10 (ays) -261.98800 (of) -261.99300 (au\055) ] TJ ET Q 3.98000 w 0 G 501.12100 998.78900 m 1446.11000 998.78900 l S q 10 0 0 10 0 0 cm BT /R36 5.97760 Tf 1 0 0 1 60.14100 93.27700 Tm [ <03> -0.90058 ] TJ /R26 7.97010 Tf 4.31680 -2.81211 Td [ (This) -286.99300 (w) 10.01290 (ork) -288 (has) -287.01900 (been) -288.00400 <026e616e636564> -287.01500 (by) -286.98700 (ELLIIT) 73.99480 (\054) -287.99700 (MAPCI\054) -286.98000 (eSSENCE) -287.98100 (and) -286.98300 (the) ] TJ -14.34570 -9.46484 Td [ (Swedish) -249.99100 (Research) -250.02400 (Council) -250.01900 (\050grant) -249.98500 (no\056) -309.98100 (2012\0554213\051\056) ] TJ /R26 9.96260 Tf 258.75000 493.16200 Td [ (tomatically) -237.99500 (constr) 0.99493 (ucting) -238.01400 (the) -237.99000 (so\055called) ] TJ /R34 9.96260 Tf 151.69200 0 Td [ (elimination) -237.98500 (template) ] TJ /R26 9.96260 Tf 82.06720 0 Td (\054) Tj -233.75900 -11.95510 Td [ (which) -249.98300 (is) -249.98500 (the) -249.99000 (main) -250.01700 (focus) -249.99000 (of) -249.99700 (this) -250.01200 (w) 10.00320 (ork\056) ] TJ 11.95510 TL T* [ (Our) -249.99300 (contrib) 20.01870 (utions) -250.00200 (in) -249.98500 (this) -250.01200 (paper) -249.99700 (are\072) ] TJ /R34 9.96260 Tf (\050i\051) ' /R26 9.96260 Tf 14.11800 0 Td [ (A) -473.01700 (non\055iterati) 25.00560 (v) 14.98280 (e) -472.98500 (method) -472.99000 (for) -472.98000 (automatically) -473.01400 <026e64696e67> -474 (the) ] TJ -14.11800 -11.95510 Td [ (monomial) -249.98800 (e) 15.01220 (xpansion) -250.00200 (of) -249.99500 (the) -249.98800 (initial) -250.00200 (system) -250.00200 (of) -249.99700 (equations\056) ] TJ /R34 9.96260 Tf (\050ii\051) ' /R26 9.96260 Tf 15.22500 0 Td [ (A) -305.98600 (non\055iterati) 25.00560 (v) 14.98280 (e) -305.99300 (reduction) -306.00300 (step\054) -320.99100 (that) -306.01300 (often) -306.01800 (gi) 24.98600 (v) 14.98280 (es) -305.98800 (a) -305.99300 (much) ] TJ -15.22500 -11.95630 Td [ (more) -249.98800 (compact) -249.98000 (representation) -250.01200 (of) -249.99700 (the) -249.98800 (e) 15.01220 (xpanding) -250.00200 (set\056) ] TJ /R34 9.96260 Tf (\050iii\051) ' /R26 9.96260 Tf 17.94300 0 Td [ (An) -301.00100 (ef) 25.00810 <026369656e74> -300.98400 (implementation) -300.97900 (of) -301.00900 (these) -300.99900 (ideas) -302.01800 (which) -300.99400 (pro\055) ] TJ -17.94300 -11.95470 Td [ (duces) -207.99700 (stand\055alone) -208.01900 (code) -208.00200 (for) -208.00500 (solving) -208.00500 (arbitrary) -208 (instances) -207.98000 (of) -208.00500 (the) ] TJ (problem\056) ' /R34 9.96260 Tf (\050iv\051) ' /R26 9.96260 Tf 18.37890 0 Td [ (Solv) 15.00980 (ers) -456.98500 (for) -456.98500 (tw) 10.00810 (o) -455.99700 (pre) 25.01050 (viously) -456.98300 (unsolv) 15.01220 (ed) -456.98300 (minimal) -457.01700 (cases\054) ] TJ -18.37890 -11.95510 Td [ (based) -249.99000 (on) -249.98800 (our) -249.99000 (de) 25.01540 (v) 14.98280 (eloped) -249.98300 (system\056) ] TJ /R24 10.95890 Tf 20.68200 TL T* [ (1\0561\056) -250.00400 (Related) -249.99300 (w) 10 (ork) ] TJ /R26 9.96260 Tf 11.95510 -18.18480 Td [ (The) -225.99700 (most) -226.01100 (closely) -225 (related) -225.99700 (w) 10.00320 (ork) -225.99700 (is) -225.98700 (by) -225.01100 (K) 14.98280 (uk) 10.00810 (elo) 14.98770 (v) 24.98110 (a) ] TJ /R34 9.96260 Tf 183.26400 0 Td [ (et) -225.99700 (al) ] TJ /R26 9.96260 Tf 17.20310 0 Td [ (\056) -225.99700 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 529.34400 403.78900 Tm (33) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 539.30600 403.78900 Tm (\135\054) Tj -230.44400 -11.95510 Td [ (where) -305.01300 (the) -305 (authors) -306.00800 (presented) -304.99800 (an) -305.00800 (automatic) -305.01800 (method) -305.01800 (for) -305.98800 (gen\055) ] TJ 11.95510 TL T* [ (erating) -229.98900 (polynomial) -229.00600 (solv) 15 (ers\056) -303.98800 (The) -229.01600 (automatic) -230.01100 (generator) -229.99600 (allo) 24.99090 (ws) ] TJ T* [ (the) -322.01700 (user) -321.00300 (to) -322.01200 (specify) -322.01200 (a) -321.01000 (set) -322.01500 (of) -321.98500 (polynomial) -320.99100 (equations) -321.99500 (and) -322.02000 (then) ] TJ T* [ (automatically) -332.99600 (generates) -333 (stand\055al) 1 (on) -1.00964 (e) -331.98900 (code) -333.00300 (for) -333.00300 (solving) -333.00300 (arbi\055) ] TJ T* [ (trary) -255.01400 (problem) -256.00900 (instances\056) -325.99700 (This) -254.99200 (automatic) -254.98700 (generator) -255.01100 (has) -255.99200 (been) ] TJ 11.95590 TL T* [ (widely) -381.01200 (adopted) -381.01500 (in) -380.98300 (the) -380.98800 (computer) -381.01000 (vision) -381 (community) -381.02000 (and) -380.99000 (it) ] TJ 11.95510 TL T* [ (has) -271.00600 (been) -271.01100 (used) -271.00100 (to) -271.00100 (solv) 15 (e) -271.01800 (se) 25.01540 (v) 14.98280 (eral) -271.01800 (problems) -271.99900 (in) -271.00400 (geometric) -270.99400 (com\055) ] TJ T* [ (puter) -372.00700 (visi) 1.00473 (on) -372.00700 (\050see) ] TJ /R34 9.96260 Tf 71.97500 0 Td [ (e) 15.01220 (\056g) ] TJ /R26 9.96260 Tf 11.74610 0 Td [ (\056) -372.01400 (T) 79.99160 (able) ] TJ ET Q 1 0 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 424.36400 308.14800 Tm (1) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 433.05200 308.14800 Tm [ (and) -370.99200 (the) -372.00700 (references) -371.01700 (therein\056\051) ] TJ -124.18900 -11.95510 Td [ (The) -235.99500 (solv) 15 (ers) -236.98300 (generated) -235.99700 (using) -236.99000 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 425.48400 296.19300 Tm (33) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 435.44600 296.19300 Tm [ (\135) -236.00500 (are) -236.99000 (b) 20.00160 (uilt) -236.01500 (on) -237.00900 (the) -235.99000 (action) -237.00500 (ma\055) ] TJ -126.58400 -11.95470 Td [ (trix) -249 (method) -248.98800 (that) -249.00300 (reduces) -249.01700 (the) -249.00700 (polynomial) -249.98300 (equation) -248.99300 (system) -248.98300 (to) ] TJ 11.95510 TL T* [ (an) -380.01500 (eigen) 40 (v) 24.98110 (alue) -380.01300 (problem\056) -700.01100 (Their) -380.00500 (automatic) -379.98600 (generator) -380.01000 (w) 10.00320 (orks) ] TJ 11.95630 TL T* [ (by) -338.99200 <02727374> -339.01700 (computing) -338.99500 (a) -339.00700 (Gr) ] TJ 97.35780 0.05000 Td (\250) Tj -0.83203 -0.05000 Td [ (obner) -338.99200 (basis) -338.98300 (in) -338.99200 (Macaulay2) -338.98800 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 516.83900 260.32700 Tm (15) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 526.80200 260.32700 Tm [ (\135) -339.00700 (for) ] TJ -217.93900 -11.95470 Td [ (a) -373.00100 (random) -371.99700 (problem) -373.00900 (instance\056) -677.00500 (The) -372.99200 (Gr) ] TJ 151.63600 0.05000 Td (\250) Tj -0.83203 -0.05000 Td [ (obner) -372.98700 (basis) -371.99700 (gi) 24.98600 (v) 14.98280 (es) -372.99700 (in\055) ] TJ -150.80400 -11.95510 Td [ (formation) -303.01600 (on) -304.01800 (the) -303 (number) -304.00800 (of) -303.00800 (solutions) -302.99400 (and) -303.98400 (pro) 14.98280 (vides) -302.98900 (a) -303.99300 (basis) ] TJ 11.95510 TL T* [ (for) -245.02000 (the) -245.01100 (quotient) -244.98100 (space\056) -309.00700 (The) -245.01300 (elimination) -245.00300 (template) -244.99300 (needed) -245.01800 (for) ] TJ T* [ (computing) -362.01100 (the) -360.99100 (action) -362.00300 (matrix) -361.99300 (is) -362.00300 (then) -360.98400 (found) -362.00300 (by) -362.00800 (an) -362.01800 (iterati) 24.99090 (v) 14.98280 (e) ] TJ 11.95590 TL T* [ (search) -271.99900 (process) -271.98400 (that) -270.99900 (alternates) -271.98400 (between) -271.98900 (e) 15.01220 (xpanding) -271.99900 (the) -271.98400 (equa\055) ] TJ 11.95510 TL T* [ (tion) -411.98500 (system) -412.01700 (and) -412.00500 (performi) 0.99493 (ng) -412 (Gaussian) -411.98500 (elimination\056) -796.00400 (Once) ] TJ T* [ (suf) 24.98360 <026369656e746c79> -422.99100 (man) 14.99010 (y) -422.98300 (equations) -422.99800 (ha) 19.99670 (v) 14.98280 (e) -422.99300 (been) -422.98800 (generated) -422.98800 (a) -422.99300 (prun\055) ] TJ T* [ (ing) -278.99500 (step) -278.01700 (is) -279 (used) -277.98100 (to) -279 (remo) 14.98770 (v) 14.98280 (e) -277.99800 (an) 15.01710 (y) -279.00700 (unnecessary) -277.98300 (equations\056) -396.01700 (The) ] TJ (Gr) ' 11.34180 0.05000 Td (\250) Tj -0.83086 -0.05000 Td [ (obner) -285.98400 (basis) -286.01100 (computations) -286.01600 (and) -285.98700 (the) -285.98200 (Gaussian) -286.00600 (eliminations) ] TJ -10.51090 -11.95510 Td [ (are) -359.99100 (performed) -360.00900 (in) -360.00600 (some) -359.99900 (prime) -360.00400 <02656c64> ] TJ /R38 9.96260 Tf 144.91500 0 Td [ (Z) -0.69596 ] TJ /R40 6.97380 Tf 6.64102 -1.49492 Td [ (p) -0.90321 ] TJ /R26 9.96260 Tf 8.19219 1.49492 Td [ (to) -360.00900 (a) 19.99180 (v) 20.00160 (oid) -359.99900 (numerical) ] TJ -159.74800 -11.95590 Td [ (problems\056) -630.01700 (The) -356.99400 (main) -356 (dra) 15.01220 (wback) -356.99400 (of) -357 (the) -356.98900 (approach) -356.01400 (in) -356.98900 (\133) ] TJ ET Q 0 1 0 rg q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 521.63300 128.82000 Tm (33) Tj ET Q 0 g q 10 0 0 10 0 0 cm BT /R26 9.96260 Tf 1 0 0 1 531.59600 128.82000 Tm [ (\135) -357.00400 (is) ] TJ -222.73400 -11.95510 Td [ (that) -419.01300 (as) -418.00600 (the) -418.98200 (number) -419.00900 (of) -418.00600 (v) 24.98110 (ariables) -419.01800 (and) -418.00400 (equations) -418.99900 (gro) 24.98110 (ws) -419.01800 (the) ] TJ 11.95510 TL T* [ (iterati) 24.99340 (v) 14.98280 (e) -392.99800 (search) -394.01800 (and) -392.98800 (pruning) -393.98300 (step) -393.01800 (can) -394.01800 (quickly) -393.00300 (become) -394.00300 (in\055) ] TJ T* [ (tractable\056) -299.98200 (In) -220 (this) -220.01700 (w) 10 (ork) -219.99500 (we) -220.00300 (propose) -219.98300 (a) -220.00700 (ne) 25.01540 (w) -221.01700 (method) -220.01200 (for) -220.00300 <026e64696e67> ] TJ T* [ (the) -213.99600 (elimination) -213.98900 (template) -214.01800 (in) -213.01300 (place) -214.00400 (of) -214.00400 (the) -213.99400 (iterati) 24.99090 (v) 14.98280 (e) -214.00800 (search) -214.00800 (used) ] TJ -13.74100 -29.88790 Td (1) Tj ET Q Q Q q q 1 1 1 rg /a0 gs 48.40600 786.42200 515.18800 -52.69900 re f q /s5 gs /x6 Do Q q /s7 gs /x8 Do Q q /s9 gs /x10 Do Q q /s11 gs /x12 Do Q Q Q Q q 1 0 0 1 0 0 cm BT /F1 12 Tf 14.40000 TL ET 1 1 1 rg n 270 47 72 14 re f* 0.50000 0.50000 0.50000 rg BT /F2 9 Tf 10.80000 TL ET BT 1 0 0 1 299.25000 50 Tm (820) Tj T* ET Q endstream endobj 15 0 obj << /Filter /FlateDecode /Resources << /ExtGState << /a0 << /CA 1 /ca 1 >> >> /XObject << /x18 16 0 R >> >> /Length 28 /Group << /Type /Group /S /Transparency /CS /DeviceRGB /I true >> /BBox [ 78 746 96 765 ] /Type /XObject /Subtype /Form >> stream x+O4PH/VЯ0Pp 0 endstream endobj 16 0 obj << /Filter /FlateDecode /Resources 17 0 R /Length 107 /Type /XObject /BBox [ 78 746 96 765 ] /Subtype /Form >> stream xe AC̬wʠ =p,?]%+H-
Jc "82w8VSnGW;"
endstream
endobj
17 0 obj
<<
/ExtGState <<
/a0 <<
/CA 1
/ca 1
>>
>>
>>
endobj
18 0 obj
<<
/Filter /FlateDecode
/Resources <<
/ExtGState <<
/a0 <<
/CA 1
/ca 1
>>
>>
/XObject <<
/x15 19 0 R
>>
>>
/Length 28
/Group <<
/Type /Group
/S /Transparency
/CS /DeviceRGB
/I true
>>
/BBox [ 67 752 84 775 ]
/Type /XObject
/Subtype /Form
>>
stream
x+O4PH/VЯ04Up
0
endstream
endobj
19 0 obj
<<
/Filter /FlateDecode
/Resources 20 0 R
/Length 228
/Type /XObject
/BBox [ 67 752 84 775 ]
/Subtype /Form
>>
stream
xeQKn!s ?FPav6R٪TS.
b];15YyR
{7QL.\:Rv/x9l+L7h%1!}i/AI(kz"U&,YO![R hg{3}4/GyYF:!w}Gn+'xJcO9i뽼_-:`
endstream
endobj
20 0 obj
<<
/ExtGState <<
/a0 <<
/CA 1
/ca 1
>>
>>
>>
endobj
21 0 obj
<<
/Filter /FlateDecode
/Resources <<
/ExtGState <<
/a0 <<
/CA 1
/ca 1
>>
>>
/XObject <<
/x24 22 0 R
>>
>>
/Length 28
/Group <<
/Type /Group
/S /Transparency
/CS /DeviceRGB
/I true
>>
/BBox [ 132 751 480 772 ]
/Type /XObject
/Subtype /Form
>>
stream
x+O4PH/VЯ02Qp
0
endstream
endobj
22 0 obj
<<
/Filter /FlateDecode
/Resources 23 0 R
/Length 53223
/Type /XObject
/BBox [ 132 751 480 772 ]
/Subtype /Form
>>
stream
xtI:6%Q㨈?7rA= u%6 ?Y(WbWo{B>9
x`Znϳ|8{3?0x*z ǃ|,@:w>`c|*ϻⳅKO3`g
:_|}}><.6`Z{{3]#<_o"~:ͺgk7/Ұ@|K yp ]03ʷCmş8˽Y?>(3!Bwqs.Z8,~~=rMT̩y+/*w: uBZ_`ߵp`%M?ɝ1ɳw=vDۉy&xb4Q>d@ sg~lA