LEDA. A platform for combinatorial and geometric computing. 2-part set
From MaRDI portal
Publication:5321074
Recommendations
Cited in
(7)- scientific article; zbMATH DE number 1639663 (Why is no real title available?)
- scientific article; zbMATH DE number 2084313 (Why is no real title available?)
- scientific article; zbMATH DE number 1947437 (Why is no real title available?)
- scientific article; zbMATH DE number 1368469 (Why is no real title available?)
- Trustworthy Graph Algorithms (Invited Talk)
- scientific article; zbMATH DE number 2247829 (Why is no real title available?)
- Incorporating a database of graphs into a proof assistant
This page was built for publication: LEDA. A platform for combinatorial and geometric computing. 2-part set
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5321074)