Skip to main content
SpringerLink
Log in
Book cover

International Congress on Mathematical Software

ICMS 2014: Mathematical Software – ICMS 2014 pp 442–449Cite as

A Package for Parametric Matrix Computations

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8592))

Abstract

Motivated by the problem of determining the Jordan and Weyr canonical forms of parametric matrices, we present a Maple package for doing symbolic linear algebra. The coefficients of our input matrices are multivariate rational functions, whose indeterminates are regarded as parameters and are subject to a system of polynomial equations and inequalities. Our proposed algorithms rely on the theory of regular chains and are implemented on top of the RegularChains library.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arnold, V.I.: On matrices depending on parameters. Russian Mathematical Surveys 26(2), 29–43 (1971)

    Article  Google Scholar 

  2. Augot, D., Camion, P.: On the computation of minimal polynomials, cyclic vectors, and Frobenius forms. Linear Algebra and its Applications 260, 61–94 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  3. Broadbery, P.A., Gómez-Díaz, T., Watt, S.M.: On the implementation of dynamic evaluation. In: Proc. of ISSAC, pp. 77–84 (1995)

    Google Scholar 

  4. Chen, G.: Computing the normal forms of matrices depending on parameters. In: Proceedings of ISSAC 1989, Portland, Oregon, pp. 244–249. ACM Press-Addison Wesley (1989)

    Google Scholar 

  5. Chen, C., Davenport, J.H., May, J.P., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49, 3–26 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  6. Chen, C., Golubitsky, O., Lemaire, F., Moreno Maza, M., Pan, W.: Comprehensive triangular decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol. 4770, pp. 73–101. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Chen, C., Moreno Maza, M.: Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47(6), 610–642 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  8. Della Dora, J., Dicrescenzo, C., Duval, D.: About a new method for computing in algebraic number fields. In: Caviness, B.F. (ed.) ISSAC 1985 and EUROCAL 1985. LNCS, vol. 204, pp. 289–290. Springer, Heidelberg (1985)

    Google Scholar 

  9. Dietz, S.G., Scherer, C.W., Huygen, W.: Linear parameter-varying controller synthesis using matrix sum-of-squares +relaxations. In: Brazilian Automation Conference, CBA (2006)

    Google Scholar 

  10. García-Planas, M.I., Clotet, J.: Analyzing the set of uncontrollable second order generalized linear systems. International Journal of Applied Mathematics and Informatics 1(2), 76–83 (2007)

    Google Scholar 

  11. Giesbrecht, M.: Fast algorithms for matrix normal forms. In: Proceedings of 33rd Annual Symposium on Foundations of Computer Science, pp. 121–130. IEEE (1992)

    Google Scholar 

  12. Giesbrecht, M.: Nearly optimal algorithms for canonical matrix forms. SIAM Journal on Computing 24(5), 948–969 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  13. Kaltofen, E., Krishnamoorthy, M.S., Saunders, B.D.: Parallel algorithms for matrix normal forms. Linear Algebra and its Applications 136, 189–208 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  14. Matthews, K.R.: A rational canonical form algorithm. Mathematica Bohemica 117(3), 315–324 (1992)

    MATH  MathSciNet  Google Scholar 

  15. O’Meara, K., Clark, J., Vinsonhaler, C.: Advanced Topics in Linear Algebra: Weaving Matrix Problems Through the Weyr Form. Oxford University Press (2011)

    Google Scholar 

  16. Ozello, P.: Calcul exact des formes de Jordan et de Frobenius d’une matrice. PhD thesis, Université Joseph-Fourier-Grenoble I (1987)

    Google Scholar 

  17. Storjohann, A.: An \(\mathcal{O}(n^3)\) algorithm for the Frobenius normal form. In: Proc. of ISSAC, pp. 101–105. ACM (1998)

    Google Scholar 

  18. Storjohann, A.: Algorithms for matrix canonical forms. PhD Thesis, Institut für Wissenschaftliches Rechnen, ETH-Zentrum, Zürich, Switzerland (2000)

    Google Scholar 

  19. Weispfenning, V.: Comprehensive Gröbner bases. J. Symb. Comput. 14(1), 1–30 (1992)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Western University, Canada

    Robert M. Corless & Steven E. Thornton

Authors
  1. Robert M. Corless
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steven E. Thornton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics, North Carolina State University, Box 8205, 27695, Raleigh, NC, USA

    Hoon Hong

  2. Courant Institute, Dept. of Computer Science, New York Institute, 251 Mercer Street, 10012, New York, NY, USA

    Chee Yap

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Corless, R.M., Thornton, S.E. (2014). A Package for Parametric Matrix Computations. In: Hong, H., Yap, C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_67

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44199-2_67

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44198-5

  • Online ISBN: 978-3-662-44199-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation