Το 1962, κατάφερε ο Τζον Μίλνορ να αποδείξει ότι η ανάλυση κάθε πολλαπλότητας στις πρωτοπολλαπλότητές της είναι μοναδική. Το 1998, οι Τζάκο και Ρουμπινστάιν σχεδίασαν έναν αλγόριθμο, ο οποίος προσδιορίζει τις πρωτοπολλαπλότητες μιας πολαπλότητας.