A fixed point arithmetic library for Arduino

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

Kakutani fixed-point theorem and Brouwer fixed-point theorem formalized and proven in Lean 4

image warp in c function

Computation of periodic orbits of non-autonomous systems and fixed points of maps using Newton method

Robot is learning to avoid obstacles using neuronal network and backpropagation as learning algorithms

fixed point operation