Andrew P. Smith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2015–2015
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ITP | Affine Arithmetic and Applications to Real-Number Proving. | Mariano M. Moscato, Csar A. Muoz, Andrew P. Smith |
| 2015 | SYNASC | A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. | Andrew P. Smith, Csar A. Muoz, Anthony J. Narkawicz, Mantas Markevicius |