ALCOR

swMATH26MaRDI QIDQ12799FDOQ12799

Author name not available (Why is that?)

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