Decidability Bounds for Presburger Arithmetic Extended by Sine

Decidability Bounds for Presburger Arithmetic Extended by Sine

Fields Institute via YouTube Direct link

Fine mesh

8 of 18

8 of 18

Fine mesh

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Decidability Bounds for Presburger Arithmetic Extended by Sine

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Introduction
  2. 2 Presburger arithmetic
  3. 3 Previous results
  4. 4 Presburger arithmetic extension
  5. 5 Results
  6. 6 Method
  7. 7 Visualizing
  8. 8 Fine mesh
  9. 9 Member
  10. 10 Encoding
  11. 11 Theorem
  12. 12 Decidability
  13. 13 Channels conjecture
  14. 14 Example
  15. 15 Channel conjecture
  16. 16 Boolean combination
  17. 17 Lemma
  18. 18 Proxy solution

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.