Formalization
This past year, I’ve been enjoying explanations that are more rigorous. That is, things that are formalized.
It seems intimidating at first, but I really do think that they do wonders. I find Math more and more beautiful.
Learning SLAM
“Through the previous introduction, readers should have gained an intuitive understanding of the modules in a SLAM system and each module’s main functionality. However, we cannot write runnable programs only based on intuitive impressions. We want to raise it to a rational and rigorous level, using mathematical symbols to formulate a SLAM process”.