Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition

Linear Algebra and Its Applications

Volumn 278, Issue 1-3, 1998, Pages 63-84

  Parker, D Stott ^a  

^a University of California   (United States)

Author keywords

Categorial grammar; Categorical grammar; Gaussian elimination; Lambek calculus; LU decomposition; Quotients; Schur complements

Indexed keywords

EID: 11544275054     PISSN: 00243795     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0024-3795(97)10033-7     Document Type: Article

References (28)

1. K. Ajdukiewicz, Die Syntaktische Konnexität, Studia Philosophica, 1 (1935) 1-27.
2. Y. Bar-Hillel, Language and Information: Selected Essays on Their Theory and Application, Addison-Wesley, Reading, MA, 1964.
3. J. van Benthem, The Lambek Calculus, in: R.T. Oehrle, E. Bach, D. Wheeler (Eds.). Categorial Grammars and Natural Language Structures, Reidel, Boston, 1988, pp. 35-68.
4. R. Brualdi, H. Schneider, Determinantal identities: Gauss, Schur, Cauchy, Sylvester, Kronecker, Jacobi, Binet, Laplace, Muir, Cayley., Linear Algebra Appl. 53 (1983) 769-791.
5. D. Carlson, E. Haynsworth, T. Markham, A generalization of the Schur complement by means of the Moore-Penrose inverse, SIAM J. Appl. Math. 8 (1) (1974) 169-175.
6. R.W. Cottle, Manifestations of the Schur complement. Linear Algebra Appl. 8 (1974) 189-211.
7. D.E. Crabtrec, E.V. Haynsworth, An identity for the Schur complement of a matrix, Proc. AMS 22 (1969) 364-366.
8. T. Evans, On multiplicative systems defined by generators and relations, Proc. Cambridge. Philos. Soc. 47 (1951) 637-649.
9. F.R. Gantmacher, The Theory of Matrices, vol. 1, Chelsea, New York, 1959.
10. E. Haynsworth, Determination of the inertia of a partitioned Hermitian matrix. Linear Algebra and Appl. 1 (1968) 73-81.
11. E. Haynsworth, Applications of an inequality for the Schur complement, Proc. Amer. Math. Soc. 24 (1970) 512-516.
12. E. Haynsworth, Reduction of a matrix using properties of the Schur complement. Linear Algebra and Appl. 3 (1970) 23-29.
13. R.A. Horn, C.R. Johnson, Matrix Analysis, Cambridge University Press, New York, 1992.
14. E.L. Keenan, A. Timberlake, Natural Language Motivations for Extending Categorial Grammar, in: R.T. Oehrle, E. Bach, D. Wheeler (Eds.), Categorial Grammars and Natural Language Structures, Reidel, Boston, 1988, pp. 265-295.
15. J. Lambek, The Mathematics of Sentence Structure, Amer. Math. Monthly 65 (1) (1958) 154-170.
16. J. Lambek, Rings and Modules, Chelsea, New York, 1966.
17. J. Lambek, Categorial and Categorical Grammars, in: R.T. Oehrle, E. Bach, D. Wheeler (Eds.), Categorial Grammars and Natural Language Structures, Reidel, Boston, 1988, pp. 297-317.
18. M. Moortgat, Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Foris Publications, Providence, RI, 1988.
19. M. Moortgat, Multimodal linguistic inference, in: Gabbay, Kempson (Eds.), Language and Proof Theory, special issue of Journal of Logic, Language and Inference (JOLLI), 1996.
20. M. Moortgat, Categorial type logics, in: J. van Benthem, A. ter Meulen (Eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1996.
21. R.T. Oehrle, E. Bach, D. Wheeler (Eds.), Categorial Grammars and Natural Language Structures, Reidel, Boston, 1988.
22. A. Ostrowski, "A new proof of Haynsworth's quotient formula for Schur complements", Linear Algebra Appl. 4 (1971) 389-392.
23. J.G. Oxley, Matroid Theory, Oxford University Press, New York, 1992.
24. D.S. Parker, Random butterfly transformations with applications in computational linear algebra, Technical Report CSD-950023, UCLA Computer Science Department (1995).
25. D.S. Parker, Explicit formulas for the results of Gaussian elimination, Technical Report CSD-950025, UCLA Computer Science Department (1995).
26. D.S. Parker, D. Le, How to eliminate pivoting from Gaussian elimination - by randomizing instead, Technical Report CSD-950022, UCLA Computer Science Department (1995).
27. I. Schur, Über Potenzreihen die im Innern des Einheitskreises beschränkt sind, J. Reine Angew. Math. 147 (1917) 205-232.
28. W.T. Tutte, A Homotopy theorem for matroids. I, II, Trans. AMS 88 (1958) 144-174.