Algorithms in Modern Mathematics and Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 25 Al-khorezmi his background, his personality his work and his influence
3. Altmetric Badge
   Chapter 26 Algorithms in modern mathematics and computer science
4. Altmetric Badge
   Chapter 27 What are the gains of the theory of algorithms
5. Altmetric Badge
   Chapter 28 On inductive synthesis of programs
6. Altmetric Badge
   Chapter 29 Expanding constructive universes
7. Altmetric Badge
   Chapter 30 The logical approach to programming
8. Altmetric Badge
   Chapter 31 The structural synthesis of programs
9. Altmetric Badge
   Chapter 32 On finding invariant relations of program
10. Altmetric Badge
    Chapter 33 What can we do with problems of exhaustive search?
11. Altmetric Badge
    Chapter 34 The algorithmic complexity of linear algebras
12. Altmetric Badge
    Chapter 35 Algorithms in various contexts
13. Altmetric Badge
    Chapter 36 Role of a notion of algorithm in the arithmetic language semantics
14. Altmetric Badge
    Chapter 37 From logicism to proceduralism (an autobiographical account)
15. Altmetric Badge
    Chapter 38 Abstract computability on algebraic structures
16. Altmetric Badge
    Chapter 39 Algorithms and algebra
17. Altmetric Badge
    Chapter 40 On formal transformations of algorithms
18. Altmetric Badge
    Chapter 41 What should we do having proved a decision problem to be unsolvable?
19. Altmetric Badge
    Chapter 42 On the experience of riding two horses in programming
20. Altmetric Badge
    Chapter 43 Church-rosser transformers and decidable propertis of tree processing
21. Altmetric Badge
    Chapter 44 Supplement 1 summaries of oral presentations
22. Altmetric Badge
    Chapter 45 Supplement 2 technical program
23. Altmetric Badge
    Chapter 46 Supplement 3 publications on the symposium
24. Altmetric Badge
    Chapter 47 List of participants
25. Altmetric Badge
    Chapter 48 Supplement 5 photoillustrations