carl's casual chronicles

carl's casual chronicles

#symbolic-computation

Articles tagged with #symbolic-computation

2025 Sangaku (算額) Puzzle
Let's explore geometry from the Edo period and derive a "proof" for a 2025 problem inspired by Sangaku
Feb 5, 202511 min read126
Fun with Symbolic Computation: Solving Einstein’s Zebra Riddle
Skip the algorithms: just define the problem and let Solvers do the rest! Algorithms "Algorithm": the word has its origins from the 9th century writings of Muhammad ibn Musa al-Khwarizmi a Persian mathematician at the Baghdad House of Wisdom, The ori...
Sep 6, 20246 min read105