GitLab
From MaRDI portal
Software:36547
No author found.
Related Items (3)
A natural vector/matrix notation applied in an efficient and robust return-mapping algorithm for advanced yield functions ⋮ System Description: MathHub.info ⋮ QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
This page was built for software: GitLab
