Registered user since Sat 12 Jan 2019
Name:Tim King
Contributions
| VMCAI | Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile