Enter your search text in the box above

Select a result to preview

Formalising GD&T

I just formalised a key part of geometric dimensioning and tolerancing (GD&T) which is the standard language used by engineers for communicating how much a manufactured part is allowed to vary from its original, intended design.[1] The idea of giving tolerancing a mathematical foundation goes back at least to Requicha's theory of geometric tolerancing.[2]

Repo: https://github.com/OliverP255/formal-gdt

References

  1. ASME. (2019). Y14.5-2018: Dimensioning and Tolerancing. American Society of Mechanical Engineers. asme.org ↩︎

  2. Requicha, A. A. G. (1983). Toward a theory of geometric tolerancing. The International Journal of Robotics Research, 2(4), 45–60. doi:10.1177/027836498300200403 ↩︎

Oliver Pryce

I'm doing research to make engineered physical systems formally verifiable.

My Research