Article

Abstract matrices in symbolic computation

Authors:

Alan Sexton,

Volker SorgeAuthors Info & Claims

ISSAC '06: Proceedings of the 2006 international symposium on Symbolic and algebraic computation

Pages 318 - 325

https://doi.org/10.1145/1145768.1145820

Published: 09 July 2006 Publication History

Get Access

Abstract

We introduce a new data type of abstract matrices that allows the description of underspecified matrices containing ellipses and their use as templates for classes of concrete matrices. We present a series of algorithms that fully analyses the structure of abstract matrices and their representation and supports subsequent instantiation to concrete matrices.

References

[1]

Maple 10 User Manual. Maplesoft, 2005.

Google Scholar

[2]

R. Fateman. Manipulation of matrices symbolically. Available from http://http.cs.berkeley.edu/~fateman/papers/symmat2.pdf, 2003.

Google Scholar

[3]

A. Heck. Maple Manuals. Springer, 3rd edition, 2003.

Google Scholar

[4]

G. Huet. Résolution d'équations dans les langages d'ordre 1, 2,. . .,ω. PhD thesis, Univ. de Paris VII, 1976.

Google Scholar

[5]

T. Kanahori and M. Suzuki. A recognition method of matrices by using variable block pattern elements generating rectangular areas. GREC-02, LNCS 2390, p. 320--329. Springer, 2002.

Digital Library

Google Scholar

[6]

A. Mercer and A. Rosenfeld. An array grammar programming system. CACM, 16(5):299--305, 1973.

Digital Library

Google Scholar

[7]

A. Sexton and V. Sorge. Processing textbook-style matrices. MKM'05, LNCS 3863. Springer, 2006.

Digital Library

Google Scholar

[8]

A. Sexton and V. Sorge. Semantic analysis of matrix structures. In ICDAR'05, p. 1141--1145. IEEE Computer Society, 2005.

Digital Library

Google Scholar

Cited By

View all

Kumar PAgarwal ABhagvati C(2018)Isolated structural error analysis of printed mathematical expressionsPattern Analysis & Applications10.5555/3288219.328823421:4(1097-1107)Online publication date: 1-Nov-2018
https://dl.acm.org/doi/10.5555/3288219.3288234
Kumar PAgarwal ABhagvati C(2017)Isolated structural error analysis of printed mathematical expressionsPattern Analysis and Applications10.1007/s10044-017-0667-y21:4(1097-1107)Online publication date: 14-Nov-2017
https://doi.org/10.1007/s10044-017-0667-y
Almomen RSexton ASorge V(2012)Abstracting symbolic matricesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-012-9299-564:4(343-368)Online publication date: 1-Apr-2012
https://dl.acm.org/doi/10.1007/s10472-012-9299-5
Show More Cited By

Index Terms

Abstract matrices in symbolic computation
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Representation of mathematical objects
    2. Symbolic and algebraic algorithms
      1. Algebraic algorithms

Recommendations

Symbolic algorithms for the inverses of general k -tridiagonal matrices

Two symbolic algorithms for inverting k -tridiagonal matrices have been recently found by El-Mikkawy and Atlan (2014, 2015). These two algorithms are mainly based on the Doolittle LU factorization of the k -tridiagonal matrix. In the current paper, we ...
Improved Symbolic and Numerical Factorization Algorithms for Unsymmetric Sparse Matrices

We present algorithms for the symbolic and numerical factorization phases in the direct solution of sparse unsymmetric systems of linear equations. We have modified a classical symbolic factorization algorithm for unsymmetric matrices to inexpensively ...
Parallel computation of the eigenvalues of symmetric Toeplitz matrices through iterative methods

This paper presents a new procedure to compute many or all of the eigenvalues and eigenvectors of symmetric Toeplitz matrices. The key to this algorithm is the use of the ''Shift-and-Invert'' technique applied with iterative methods, which allows the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ISSAC '06: Proceedings of the 2006 international symposium on Symbolic and algebraic computation

July 2006

374 pages

ISBN:1595932763

DOI:10.1145/1145768

General Chair:
Barry Trager
IBM T.J. Watson Research Center, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSAC06

Sponsor:

ISSAC06: International Symposium on Symbolic and Algebraic Computation

July 9 - 12, 2006

Genoa, Italy

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
195
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kumar PAgarwal ABhagvati C(2018)Isolated structural error analysis of printed mathematical expressionsPattern Analysis & Applications10.5555/3288219.328823421:4(1097-1107)Online publication date: 1-Nov-2018
https://dl.acm.org/doi/10.5555/3288219.3288234
Kumar PAgarwal ABhagvati C(2017)Isolated structural error analysis of printed mathematical expressionsPattern Analysis and Applications10.1007/s10044-017-0667-y21:4(1097-1107)Online publication date: 14-Nov-2017
https://doi.org/10.1007/s10044-017-0667-y
Almomen RSexton ASorge V(2012)Abstracting symbolic matricesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-012-9299-564:4(343-368)Online publication date: 1-Apr-2012
https://dl.acm.org/doi/10.1007/s10472-012-9299-5
Zanibbi RBlostein D(2012)Recognition and retrieval of mathematical expressionsInternational Journal on Document Analysis and Recognition10.1007/s10032-011-0174-415:4(331-357)Online publication date: 1-Dec-2012
https://dl.acm.org/doi/10.1007/s10032-011-0174-4
Korniłowicz A(2012)Tentative experiments with ellipsis in mizarProceedings of the 11th international conference on Intelligent Computer Mathematics10.1007/978-3-642-31374-5_35(453-457)Online publication date: 8-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31374-5_35
Sexton ASorge VWatt SJohnson JPark HKaltofen E(2009)Computing with abstract matrix structuresProceedings of the 2009 international symposium on Symbolic and algebraic computation10.1145/1576702.1576747(325-332)Online publication date: 28-Jul-2009
https://dl.acm.org/doi/10.1145/1576702.1576747
Sexton ASorge VWatt S(2009)Reasoning with Generic Cases in the Arithmetic of Abstract MatricesProceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics10.1007/978-3-642-02614-0_15(138-153)Online publication date: 3-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-02614-0_15
Sexton ASorge VWatt S(2008)Abstract Matrix ArithmeticProceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing10.1109/SYNASC.2008.85(61-68)Online publication date: 26-Sep-2008
https://dl.acm.org/doi/10.1109/SYNASC.2008.85
Labahn GLank EMacLean SMarzouk MTausky D(2008)MathBrushProceedings of the 2008 The Eighth IAPR International Workshop on Document Analysis Systems10.1109/DAS.2008.21(599-606)Online publication date: 16-Sep-2008
https://dl.acm.org/doi/10.1109/DAS.2008.21
Tausky DLabahn GLank EMarzouk MStahovich TAlvarado C(2007)Managing ambiguity in mathematical matricesProceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling10.1145/1384429.1384454(115-122)Online publication date: 2-Aug-2007
https://dl.acm.org/doi/10.1145/1384429.1384454
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Symbolic algorithms for the inverses of general k -tridiagonal matrices

Improved Symbolic and Numerical Factorization Algorithms for Unsymmetric Sparse Matrices

Parallel computation of the eigenvalues of symmetric Toeplitz matrices through iterative methods