Daniel R. Grayson

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 2

Top Topics

Construction Process

Top Venues

Bull. Symb. Log.

Publications

Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson
Construction of the Circle in UniMath. CoRR (2019)
Daniel R. Grayson
In Memoriam: Vladimir Voevodsky 1966-2017. Bull. Symb. Log. 24 (2) (2018)
Herbert Edelsbrunner, Daniel R. Grayson
Edgewise Subdivision of a Simplex. Discret. Comput. Geom. 24 (4) (2000)
Herbert Edelsbrunner, Daniel R. Grayson
Edgewise Subdivision of a Simplex. SCG (1999)