J. Solà, J. Deray, and D. Atchuthan. (2018)cite arxiv:1812.01537Comment: 17 pages, 12 figures, 7 boxed examples, 193 numbered equations. V2 add chapter with a application examples. V3 fix biblio error and remove the reference to a not-yet-published library in C++. V4 add again the reference to the C++ library "manif", which is made available with this version 4. V5 fix formulas (163) and (179). V6, V7 fix typos. V8 fix sign in eq 149.
V. Mazurov, and E. Khukhro. (2014)cite arxiv:1401.0300Comment: A few new solutions and references have been added. Preparation of the next 19th issue is underway, new problems are welcome, as well as comments on previous editions.
T. Mossakowski, M. Roggenbach, and L. Schröder. Coalgebraic Methods in Computer Science, volume 82 of Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter. Proceedings of Conference On Spatial Information Theory 2013, volume 8116 of Lecture Notes in Computer Science, page 516--536. Springer-Verlag Berlin Heidelberg, (2013)
A. Cheik Ahamed, and F. Magoulès. High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on, page 836-842. (June 2012)
A. Cheik Ahamed, and F. Magoulès. High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on, page 1307-1314. (June 2012)
F. Magoulès, A. Cheik Ahamed, A. Desmaison, J. Lechenet, F. Mayer, H. Ben Salem, and T. Zhu. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, page 304-311. (August 2014)
A. Cheik Ahamed, and F. Magoulès. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, page 121-128. (August 2014)
A. Cheik Ahamed, and F. Magoulès. Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2014 13th International Symposium on, page 19-23. (November 2014)
A. Cheik Ahamed, A. Desmaison, and F. Magoulès. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, page 129-136. (August 2014)
C. Abal-Kassim, and M. Frédéric. Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2014 13th International Symposium on, page 46-50. (November 2014)
A. Cheik Ahamed, and F. Magoulès. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, page 54-61. (August 2014)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, volume 47 of Fundamental Theories of Physics, Springer Netherlands, (1992)