Result 1 to 9 from 9 total
An approach to mathematical search through query formulation and data normalization. (English)
Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27‒30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 342-355 (2007).
1
Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27‒30, 2007. Proceedings. (English)
Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). xiii, 407~p. EUR~56.00/net; SFR~97.50; \sterling~43.00; \$~79.95 (2007).
2
An approach to mathematical search through query formulation and data normalization (English)
Calculemus/MKM, 342-355 (2007).
3
Mathfind: a math-aware search engine (English)
SIGIR, 735 (2006).
4
The importance of MathML to mathematics communication. (English)
Notices Am. Math. Soc. 52, No. 5, 532-538 (2005).
5
HTML-math: mathematical markup language working draft (English)
World Wide Web Journal 2, No. 4, 83-89 (1997).
6
A mathematical expression language for imaging applications (English)
Computers & Graphics 15, No. 4, 495-506 (1991).
7
A parallel pipelined data flow coprocessor (English)
ACM Conference on Computer Science, 173-179 (1989).
8
TERS - text encoding and retrieval system (English)
ACM Pacific, 50-55 (1975).
9
Result 1 to 9 from 9 total
Start
Contact
Print
General Help
