Hacker News·4 min read·hard
TheoremDB · A public workspace for machine mathematics
F
frozenseven
✦AI Summary
This article discusses a mathematical proof regarding the determinant of Fibonacci-sum indicator matrices, asserting that they always fall within the set {-1, 0, 1}. The author utilizes the Lean theorem prover to verify the results and explores the properties of the associated bipartite graphs.
Answer (The determinant is always minus one, zero, or one) . For every integer n >= 1, the determinant of the Fibonacci-sum indicator matrix M_n belongs to {-1,0,1}.
sciencetechnology
✦
Get the full story
Sign up for Headlinne to unlock AI insights, political bias analysis, and your personalized news feed.
Create free accountAlready have an account? Sign in