✦ LIBER ✦

An algorithm for verifying equations of morphisms in a category

✍ Scribed by Dietmar Wätjen; Werner Struckmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algorithms for verifying conditions unde

✍ Swart, J. H. 📂 Article 📅 1990 🏛 Taylor and Francis Group 🌐 English ⚖ 375 KB

An iterative algorithm for solving a cla

✍ Minghui Wang; Yan Feng 📂 Article 📅 2009 🏛 South China University of Technology and Academy o 🌐 English ⚖ 146 KB

An algorithm for the solution of a syste

✍ Yu.G. Grigoryan 📂 Article 📅 1963 🏛 Elsevier Science ⚖ 269 KB

An efficient algorithm for a large Toepl

✍ Jain, J. 📂 Article 📅 1979 🏛 IEEE ⚖ 369 KB

An ABS algorithm for a class of systems

✍ Hai-Shan Han; Antonino Del Popolo; Zun-Quan Xia 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 308 KB

An Additional Algorithm for a System of

✍ Denman, E. D. 📂 Article 📅 1976 🏛 IEEE 🌐 English ⚖ 504 KB