ALCOR

swMATH26MaRDI QIDQ12799FDOQ12799

Author name not available (Why is that?)

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