[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.11561785 [View]
File: 87 KB, 853x621, 4962e144-2719-463e-9b5c-9b00005aaef3..png [View same] [iqdb] [saucenao] [google]
11561785

>>11561492
Haskell
A theorem prover (I like Lean)
Sage or Macaulay2
Something imperative (eg Python)

>he's never computed an groebner basis in his life

Navigation
View posts[+24][+48][+96]