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.

Tue 22 Oct

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 17:30
Final SessionJENSFEST at Pasadena
16:00
20m
Talk
Stories of Jens Palsberg for Fun and Profit
JENSFEST
16:20
20m
Talk
Dennis's talk
JENSFEST
Dennis Brylow Marquette University
16:40
10m
Talk
Automated Repairs for Resource Leak Warnings
JENSFEST
Akshay Utture Uber Technologies Inc.
16:50
25m
Talk
Nested Summations
JENSFEST
Olivier Danvy Yale-NUS College and School of Computing, Singapore
DOI File Attached
17:15
15m
Talk
Closing Remarks from Jens
JENSFEST
Jens Palsberg University of California, Los Angeles (UCLA)