Abstract
This paper describes a prototype system for storing, retrieving and accessing mathematical formulae. The proposed environment combines information retrieval capabilities with a composition system used to provide formulae representation and to improve readability of the retrieved objects. Peculiar problems concerning manipulation and searching of formulae material are discussed while, on the other hand, some design issues are proposed for a generalized information retrieval environment based on concept browsing and structured query processing.
Preview
Unable to display preview. Download preview PDF.
References
J.Andre, Y.Grundt, V.Quint: Towards an Interactive Math Mode in T E X TEX for Scientific Documentation Ed. D.Lucarella Addison-Wesley Pub. Comp. (1985).
M.Bartaschi, H.P.Frei: Adapting a Data Organization to the Structure of Stored Information Research and Development in Information Retrieval Ed. G.Salton Springer-Verlag (1983).
E.Barbi, alii: A Conceptual Approach to Document Retrieval Proceedings ACM SIGOA Conference (1984).
E.Crisanti, alii: EasyTeX: An Integrated Environment for Scientific Document Preparation and a T E XFront End Protext II Proceedings Ed. J.H.Miller Boole Press (1985).
W.B.Croft:The Implematation of a Document Retrieval System Research and Development in Information Retrieval Ed. G.Salton Springer-Verlag (1983).
N.V.Findler: Associative Networks. Representation and use of Knowledge by Computers Academic Press (1979).
H.P.Frei, J.F.Jauslin: Graphical Presentation of Information and Services: An User Oriented Interface Information Technology: Research and Development Vol.2, (1983).
P.A.Hall, G.R.Dowling: Approximate String Matching ACM Computing Surveys, Vol.12, n.4, Dec.80.
B.W.Kernighan, L.Cerry:A system for Typesetting Mathematics ACM Comm. Vol.18, n.3, Mar.75.
D.E.Knuth:T E X and METAFONT: New directions in Typesetting Digital Press (1979).
D.E.Knuth:The T E Xbook Addison-Wesley Pub. Comp. (1984).
Y.Leclerc, alii: A Browsing Approach to Documentation IEEE Computer, Jun.82.
D.Lucarella:T E X Document Retrieval Protext I Proceedings Ed. J.Miller Boole Press (1984).
D.Lucarella:T E X Formulae Dictionary TEX for Scientific Documentation Ed. D.Lucarella Addison-Wesley Pub. Comp. (1985).
M.Nanard, alii: Semantic Guided Editing. A Case Study on Genetic Manipulation (to appear in) Text Processing and Document Manipulation Ed. J.C.van Vliet Cambridge University Press (1986).
C.D.Paice, V.Aragon-Ramirez: The Calculation of Similarities between Multiword Strings using a Thesaurus Proc. RIAO 85, 18–20 Mar.85 Grenoble, France
G.Salton, J.McGill:Introduction to Modern Information Retrieval McGraw Hill (1983).
D.Sankoff, J.B.Kruskal: The Teory and Practice of Sequence Comparison Addison-Wesley Pub. Comp. (1983).
P.Shoval: Expert/Consultation System for a Retrieval Data Base with Semantic Network of Concepts Proceedings ACM SIGIR Conference (1981).
S.M.Welford,alii:Towards Simplified Access to Chemical Information in Patent Literature Journal Inf.Science n.6 (1983) North-Holland
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lucarella, D. (1986). Retrieving mathematical formulae. In: Désarménien, J. (eds) TEX for Scientific Documentation. TeX 1986. Lecture Notes in Computer Science, vol 236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022697
Download citation
DOI: https://doi.org/10.1007/BFb0022697
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16807-2
Online ISBN: 978-3-540-47057-1
eBook Packages: Springer Book Archive