... computational geometry formal specification formal verification minimax techniques matrix algebra variational techniques variational association geometrical specification datum verification minimax criterion least squares criterion pseudo-inverse matrix Computer aided design (CAD...

... formal verification three-dimensional metrology virtual gauge tolerancing The three-dimensional metrology software packages, used in the industry, have hardly evolved since their creation at the time of the coming of the coordinate measuring machines in the 1980s. They all work according...