For this episode, we’re doing something a little different. I recently gave a talk at a small conference relating various math mutation topics to Formal Verification, the engineering discipline where we try to verify correctness of microprocessor designs. A few parts might go over your head if you’re not an engineer, but most of the discussion relates to the math topics, so I think Math Mutation listeners will enjoy it. Here you go:
(listen to audio link above, or see video at https://youtu.be/igklvT2MplU .)
I hope you found that interesting! If you want to see a PDF of the slides with the illustrations, you can grab it at this link.
And this has been your math mutation for today.