laarcnew | comments | discord | tags | ask | show | place | submitlogin
How I Learned to Stop Worrying and Love Algebraic Geometry (
4 points by rain1 to math 721 days ago | 1 comment

Algebraic geometry could have applications to hardware verification of things like layout. Many papers I read used geometric techniques on layout or design, rule checks. After a long time, I'm thinking the algebraic techniques of verification are among the easiest to automate with solvers. It follows that algebraic geometry might be used to solve for properties of ASIC geometry.

I'm not sure how necessary that would be if at all. Just keeping an eye out for what math might handle but currently doesn't.


Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)