Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-10  
 Basket 
Certifying algorithms
Authors: McConnella, Ross M.; Mehlhorn, Kurt; Näher, Stefan; Schweitzer, Pascal
Date of Publication (YYYY-MM-DD): 2010
Title of Journal: Computer Science Review
Volume: Article in Press
Start Page: 1
End Page: 43
Document Type: Article
ID: 536711.0
Two Computational Geometry Libraries: LEDA and {CGAL}
Editors: Goodman, Jacob E.; O'Rourke, Joseph
Authors: Kettner, Lutz; Näher, Stefan
Title of Book: Handbook of Discrete and Computational Geometry
Start Page: 1435
End Page: 1463
Place of Publication: Boca Raton, USA
Publisher: Chapman & Hall/CRC
Date of Publication (YYYY-MM-DD): 2004
Document Type: InBook
ID: 231208.0
Two Computational Geometry Libraries: LEDA and CGAL
Editors: Goodman, Jacob E.; O'Rourke, Joseph
Authors: Kettner, Lutz; Näher, Stefan
Title of Book: Handbook of Discrete and Computational Geometry
Start Page: 1435
End Page: 1463
Place of Publication: Boca Raton, USA
Publisher: Chapman & Hall/CRC
Date of Publication (YYYY-MM-DD): 2004
Document Type: InBook
ID: 231871.0
Experiments on curve reconstruction
Authors: Althaus, Ernst; Mehlhorn, Kurt; Näher, Stefan; Schirra, Stefan
Place of Publication: Albuquerque, USA
Publisher: University of New Mexico
Date of Publication (YYYY-MM-DD): 2000
Title of Proceedings: Proceedings of 2nd Workshop on Algorithm Engineering and Experiments (ALENEX-00)
Start Page: 103
End Page: 114
Document Type: Conference-Paper
ID: 344449.0
Implementation of $O(nm \log n)$ weighted matchings: The power of data structures
Editors: Näher, Stefan; Wagner, Dorothea
Authors: Mehlhorn, Kurt; Schäfer, Guido
Place of Publication: New York, USA
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2000
Title of Proceedings: 4th International Workshop on Algorithm Engineering
Start Page: 23
End Page: 38
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 344453.0
Checking geometric programs or verification of geometric structures
Authors: Mehlhorn, Kurt; Näher, Stefan; Seel, Michael; Seidel, Raimund; Schilz, Thomas; Schirra, Stefan; Uhrig, Christian
Date of Publication (YYYY-MM-DD): 1999
Title of Journal: Computational Geometry: Theory and Applications
Volume: 12
Start Page: 85
End Page: 104
Document Type: Article
ID: 344431.0
Structural Filtering: a Paradigm for Efficient and Exact Geometric Programs
Authors: Funke, Stefan; Mehlhorn, Kurt; Näher, Stefan
Place of Publication: Vancouver, Canada
Publisher: University of British Columbia
Date of Publication (YYYY-MM-DD): 1999
Title of Proceedings: Abstracts for the 11th Canadian Conference on Computational Geometry (CCCG-99)
Start Page: 39
End Page: 42
Document Type: Conference-Paper
ID: 344433.0
LEDA: a platform for combinatorial and geometric computing
Authors: Mehlhorn, Kurt; Näher, Stefan
Place of Publication: Cambridge
Publisher: Cambridge University Press
Date of Publication (YYYY-MM-DD): 1999
Physical Description
(e.g. Total Number of Pages):
 1018
Document Type: Book
ID: 344442.0
A computational basis for higher-dimensional computational geometry and applications
Authors: Mehlhorn, Kurt; Müller, Michael; Näher, Stefan; Schirra, Stefan; Seel, Michael; Uhrig, Christian; Ziegler, Joachim
Date of Publication (YYYY-MM-DD): 1998
Title of Journal: Computational Geometry: Theory and Applications
Volume: 10
Start Page: 289
End Page: 304
Document Type: Article
ID: 344424.0
From Algorithms to Working Programs on the Use of Program Checking in LEDA
Editors: Mehlhorn, Kurt
Authors: Mehlhorn, Kurt; Näher, Stefan
Place of Publication: Vienna, Austria
Publisher: Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society
Date of Publication (YYYY-MM-DD): 1998
Title of Proceedings: Fundamentals - foundations of computer science : XV. IFIP world computer congress
Start Page: 81
End Page: 88
Title of Series: Schriftenreihe der Österreichischen Computer Gesellschaft
Document Type: Conference-Paper
ID: 344427.0
Entries: 1-10  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.