The LEDA platform for combinatorial and geometric computing

This publication has 9 references indexed in Scilit:

• A computational basis for higher-dimensional computational geometry and applications
  Published by Association for Computing Machinery (ACM) ,1997
• On the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm
  Algorithmica, 1996
• Checking geometric programs or verification of geometric structures
  Published by Association for Computing Machinery (ACM) ,1996
• The CGAL kernel: A basis for geometric computation
  Published by Springer Nature ,1996
• LEDA: a platform for combinatorial and geometric computing
  Communications of the ACM, 1995
• Self-testing/correcting with applications to numerical problems
  Published by Association for Computing Machinery (ACM) ,1990
• Designing programs that check their work
  Published by Association for Computing Machinery (ACM) ,1989
• Multidimensional Data Structures
  Published by Springer Nature ,1984
• Data Structures and Network Algorithms
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1983