A new decision method for elementary algebra (1954)

by A Seidenberg
Venue:Annals of Mathematics