Krystyna Trybulec Kuperberg

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Topics

Computer Scientists

Top Venues

J. Autom. Reason.

Publications

Krystyna Trybulec Kuperberg
Andrzej Trybulec - in Memoriam. J. Autom. Reason. 55 (3) (2015)
Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg
Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reason. 50 (2) (2013)
Imre Bárány, Krystyna Trybulec Kuperberg, Tudor Zamfirescu
Total Curvature and Spiralling Shortest Paths. Discret. Comput. Geom. 30 (2) (2003)
Krystyna Trybulec Kuperberg, Wlodzimierz Kuperberg, Jirí Matousek, Pavel Valtr
Almost-Tiling the Plane by Ellipses. Discret. Comput. Geom. 22 (3) (1999)