Abstract
Finding solutions to minimal problems for estimating epipolar geometry and camera motion leads to solving systems of algebraic equations. Often, these systems are not trivial and therefore special algorithms have to be designed to achieve numerical robustness and computational efficiency. The state of the art approach for constructing such algorithms is the Gröbner basis method for solving systems of polynomial equations. Previously, the Gröbner basis solvers were designed ad hoc for concrete problems and they could not be easily applied to new problems. In this paper we propose an automatic procedure for generating Gröbner basis solvers which could be used even by non-experts to solve technical problems. The input to our solver generator is a system of polynomial equations with a finite number of solutions. The output of our solver generator is the Matlab or C code which computes solutions to this system for concrete coefficients. Generating solvers automatically opens possibilities to solve more complicated problems which could not be handled manually or solving existing problems in a better and more efficient way. We demonstrate that our automatic generator constructs efficient and numerically stable solvers which are comparable or outperform known manually constructed solvers. The automatic generator is available at http://cmp.felk.cvut.cz/minimal
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal PhD Thesis, Mathematical Institute, University of Innsbruck, Austria (1965)
Byröd, M., Josephson, K., Aström, K.: Improving numerical accuracy of gröbner basis polynomial equation solver. In: International Conference on Computer Vision (2007)
Byröd, M., Josephson, K., Aström, K.: Fast Optimal Three View Triangulation. In: Yagi, Y., Kang, S.B., Kweon, I.S., Zha, H. (eds.) ACCV 2007, Part I. LNCS, vol. 4843, pp. 549–559. Springer, Heidelberg (2007)
Byröd, M., Kukelova, Z., Josephson, K., Pajdla, T., Åström, K.: Fast and robust numerical solutions to minimal problems for cameras with radial distortion. In: CVPR 2008 (2008)
Bujnak, M., Kukelova, Z., Pajdla, T.: A general solution to the P4P problem for camera with unknown focal length. In: CVPR 2008 (2008)
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms. Springer, Heidelberg (1992)
Cox, D., Little, J., O’Shea, D.: Using Algebraic Geometry. Springer, Heidelberg (2005)
Faugere, J.-C.: A new efficient algorithm for computing gröbner bases (F 4). Journal of Pure and Applied Algebra 139(1-3), 61–88 (1999)
Geyer, C., Stewenius, H.: A nine-point algorithm for estimating para-catadioptric fundamental matrices. In: CVPR 2007, Minneapolis (2007)
Hartley, R., Zisserman, A.: Multiple View Geometry in Computer Vision. Cambridge University Press, Cambridge (2003)
Kukelova, Z., Pajdla, T.: A minimal solution to the autocalibration of radial distortion. In: CVPR 2007, Minneapolis (2007)
Kukelova, Z., Pajdla, T.: Two minimal problems for cameras with radial distortion. In: OMNIVIS 2007, Rio de Janeiro (2007)
Li, H.: A simple solution to the six-point two-view focal-length problem. In: Leonardis, A., Bischof, H., Pinz, A. (eds.) ECCV 2006. LNCS, vol. 3951. Springer, Heidelberg (2006)
Li, H., Hartley, R.: Five-point motion estimation made easy. In: ICPR 2006 (2006)
Mayr, E.W.: Some complexity results for polynomial ideals. Journal of Complexity 13(3), 303–325 (1997)
Nister, D.: An efficient solution to the five-point relative pose. IEEE PAMI 26(6), 756–770 (2004)
Stewénius, H.: Gröbner basis methods for minimal problems in computer vision. PhD thesis, Lund University (2005)
Stewénius, H., Nister, D., Kahl, F., Schaffalitzky, F.: A minimal solution for relative pose with unknown focal length. In: CVPR 2005, pp. 789–794 (2005)
Stewénius, H., Nister, D., Oskarsson, M., Astrom, K.: Solutions to minimal generalized relative pose problems. In: OMNIVIS 2005 (2005)
Stewénius, H., Engels, C., Nister, D.: Recent developments on direct relative orientation. ISPRS J. of Photogrammetry and Remote Sensing 60, 284–294 (2006)
Traverso, C.: Gröbner trace algorithms. In: Gianni, P. (ed.) ISSAC 1988. LNCS, vol. 358, pp. 125–138. Springer, Heidelberg (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kukelova, Z., Bujnak, M., Pajdla, T. (2008). Automatic Generator of Minimal Problem Solvers. In: Forsyth, D., Torr, P., Zisserman, A. (eds) Computer Vision – ECCV 2008. ECCV 2008. Lecture Notes in Computer Science, vol 5304. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88690-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-88690-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88689-1
Online ISBN: 978-3-540-88690-7
eBook Packages: Computer ScienceComputer Science (R0)