Tue 22 Oct 2024 16:50 - 17:15 at Pasadena - Final Session
As it happens, Fibonacci numbers can be expressed as finitely nested finite sums. And likewise, numbers in Fibonacci sequences that start with natural numbers other than 0 and 1, e.g., Lucas numbers, can be expressed as finitely nested finite sums as well. This article also shows how to also express Jacobstahl numbers as finitely nested finite sums. The construction scales to Jacobstahl sequences with a core multiplicative factor other than the standard one. All of this ought to keep Jens entertained (or at least busy) in one of his legendary proof sessions with his students.
"Slides" (nested-summations_updated.html) | 20KiB |
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change
16:00 - 17:30 | |||
16:00 20mTalk | Stories of Jens Palsberg for Fun and Profit JENSFEST V Krishna Nandivada IIT Madras | ||
16:20 20mTalk | Dennis's talk JENSFEST Dennis Brylow Marquette University | ||
16:40 10mTalk | Automated Repairs for Resource Leak Warnings JENSFEST Akshay Utture Uber Technologies Inc. | ||
16:50 25mTalk | Nested Summations JENSFEST Olivier Danvy Yale-NUS College and School of Computing, Singapore DOI File Attached | ||
17:15 15mTalk | Closing Remarks from Jens JENSFEST Jens Palsberg University of California, Los Angeles (UCLA) |