Searched refs:transformation (Results 1 - 3 of 3) sorted by relevance

/hets/FreeCAD/specifications/
H A Dgoals.tex60 the transformation by rotations and translations as well as for
/hets/Maude/doc/
H A Ddg.tex276 The idea is to use then a transformation specific to the second-order
H A Dmaude.tex161 $(\Sigma,E)$-algebra structure, together with a natural transformation

Completed in 44 milliseconds