ALCOR

MaRDI QIDQ12799swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F3-540-48051-X_16

Cited in

(2)

• Second-order approximation of dynamic models without the use of tensors
• Integrating searching and authoring in Mizar

This page was built for software: ALCOR