In our second meeting we look at aspects of computer algebra. See this Wolfram blog post about the Elkies puzzle. See also the following youtube short at the occasion of the Pythagorean triple day 9/16/25, the day of our third meeting! As for now, it seems that I was the only realizing that the day 9/16/25 was so special. Wolfram blog post gives also code for proving this.

Click for a larger picture

Historically there has been an other decomposition into 8 pieces. It is the Lindgren puzzle (Thanks for Noam Elkies for the reference).