@article{AMI_2015_44_a3,
     author = {James Harold Davenport},
     title = {Solving computational problems in real algebra/geometry},
     journal = {Annales mathematicae et informaticae},
     pages = {35--46},
     publisher = {mathdoc},
     volume = {44},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2015_44_a3/}
}