W tym modelu okazuje się m.in., że dla skończonego układu równań wielomianowych nad ciałem F problem istnienia wspólnego pierwiastka jest NP-zupełny nad F.

Model BSS stał się formalizmem używanym do badania problemów, które w praktyce obliczeniowej pojawiają się jako ciągłe: rozwiązywania układów równań, zagadnień optymalizacyjnych czy problemów geometrycznych. W monografii Complexity and Real Computation Blum, , Michael Shub i Stephen Smale rozwinęli ten program, pokazując analogie i różnice między klasyczną złożonością dyskretną a złożonością nad liczbami rzeczywistymi. W 1990 roku Blum wygłosiła referat na Międzynarodowym Kongresie Matematyków poświęcony złożoności obliczeniowej i obliczeniom nad liczbami rzeczywistymi. W 2012 roku była plenarną prelegentką podczas obchodów setnej rocznicy urodzin Alana Turinga na Uniwersytecie Cambridge, gdzie omawiała związek tych badań z mniej znaną pracą Turinga.