Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: contributor%3A%22Hart%2C+Klaas+Pieter+%28graduation+committee%29%22
(1 - 7 of 7)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Formal verification of upper bounds on translative packing densities
Axiomatic Projective Geometry
De wortelsystemen in E8
Stabiliteit van de fiets
Computing Measures for Tree-Basedness of Phylogenetic Networks
The Borsuk-Ulam Theorem in Combinatorics
A study of the 1984 report An Automatic Proof Procedure For Several Geometries by Th. Bruyn and H.L. Claasen
Searched for: contributor%3A%22Hart%2C+Klaas+Pieter+%28graduation+committee%29%22
(1 - 7 of 7)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel