Processing Textbook-style Matrices

Alan Sexton; Volker Sorge; M Kohlhase

Processing Textbook-style Matrices

Alan Sexton
, Volker Sorge
, M Kohlhase

Computer Science

Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)

Original language	English
Pages	111-125
Number of pages	15
Publication status	Published - 1 Jan 2006
Event	Mathematical Knowledge Management (MKM 2005), Proceedings of the 4th International Conference, Bremen, Germany, 15-17 July 2005 - Duration: 1 Jan 2006 → …

Conference

Conference	Mathematical Knowledge Management (MKM 2005), Proceedings of the 4th International Conference, Bremen, Germany, 15-17 July 2005
Period	1/01/06 → …

Cite this

@conference{99e2a076b9ea42d08c51652f286b17ad,

title = "Processing Textbook-style Matrices",

author = "Alan Sexton and Volker Sorge and M Kohlhase",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "111--125",

note = "Mathematical Knowledge Management (MKM 2005), Proceedings of the 4th International Conference, Bremen, Germany, 15-17 July 2005 ; Conference date: 01-01-2006",

}