×

Found 5 Documents (Results 1–5)

Computation of canonical forms for ternary cubics. (English) Zbl 1072.68629

Mora, Teo (ed.), ISSAC 2002. Proceedings of the 2002 international symposium on symbolic and algebraic computation, Lille, France, July 07–10, 2002. New York, NY: ACM Press (ISBN 1-58113-484-3/pbk). 151-160 (2002).
MSC:  68U05 68W30 14Q20
PDFBibTeX XMLCite

Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. (English) Zbl 1042.68797

Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 431-446 (2001).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field