Processing Textbook-style Matrices (bibtex)
@InProceedings{SeSo06mkm-mat,
  author =       {Alan P. Sexton and Volker Sorge},
  title =        {Processing Textbook-style Matrices},
  pages =        {111--125},
  year =         2006,
  booktitle =    {Proceedings of the 4th International Conference on
                  Mathematical Knowledge Management'05},
  editor =       {Michael Kohlhase},
  address =      {Bremen, Germany},
  month =        {July 15--17, 2005},
  volume =       3863,
  series =       {LNCS},
  publisher =    {Springer Verlag, Berlin, Germany},
  pdf =          {http://www.cs.bham.ac.uk/%7Eaps/research/papers/pdf/SeSo-MKM05-ProcessingTextbookStyleMatrices.pdf},
}
Powered by bibtexbrowser