Electrical Engineering in Lean

Stream: Natural sciences

[Nico Westerbeck]

Hello, I am wondering if there are any people that do electricity related activities in Lean? I have started a small free-time project attempting to formalize the DC Loadflow equations in Lean (https://github.com/blacksph3re/distribution_factors). For those of you who don't know, the DC Loadflow equations are a linearization of the physics of electricity grids. A big bag of assumptions, but enough to compute something. Hence it's just linear algebra but I am still struggling a bit as I am new to lean, so I am grateful for help or contact to other people who struggle as much as I do :)

[Tyler Josephson ⚛️]

Welcome! This looks like a neat project!

[Tyler Josephson ⚛️]

I don’t know of anyone else trying to do electrical engineering or power systems engineering in Lean, you might be the first! If you have questions for the community, feel free to ask them here, or in the “new members” topic.

[Tyler Josephson ⚛️]

It looks like you’re already figuring out the basics, but if you’re interested, I taught a course on Lean for Scientists and Engineers: https://www.youtube.com/playlist?list=PLX21uJ4UfpF43NExUcPcAEgnzV58x_26l

[Nico Westerbeck]

Tyler Josephson ⚛️ said:

It looks like you’re already figuring out the basics, but if you’re interested, I taught a course on Lean for Scientists and Engineers: https://www.youtube.com/playlist?list=PLX21uJ4UfpF43NExUcPcAEgnzV58x_26l

Oh wow that looks great! I’ll have a look into it, thanks for making this intro :) so far I’ve been able to solve everything eventually but I think my proofs are the very opposite of neat. I’ll check out the lecture maybe that’ll teach me to write cleaner lean.