AGORA

swMATH18720MaRDI QIDQ30552FDOQ30552

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/document/1612957/

Cited In (3)

• LAREX
• Node overlap removal algorithms: an extended comparative study
• Formal mathematics on display: a wiki for Flyspeck

This page was built for software: AGORA