Mathematics and Computation

A blog about mathematics for computers

Posts by category

Andromeda (3)  |  Computation (31)  |  Constructive math (30)  |  Constructive mathematics (1)  |  Eff (8)  |  Gems and stones (8)  |  General (31)  |  Guest post (8)  |  Homotopy type theory (14)  |  Logic (16)  |  News (13)  |  Off topic (4)  |  Programming (19)  |  Programming languages (7)  |  Publications (32)  |  RZ (6)  |  Software (16)  |  Synthetic computability (4)  |  Talks (28)  |  Teaching (8)  |  Tutorial (28)

Posts by year

2019 (7)  |  2018 (2)  |  2017 (3)  |  2016 (8)  |  2015 (6)  |  2014 (7)  |  2013 (4)  |  2012 (14)  |  2011 (14)  |  2010 (13)  |  2009 (13)  |  2008 (15)  |  2007 (7)  |  2006 (7)  |  2005 (13)  |  2004 (2)  |  2002 (3)  |  2001 (1)  |  2000 (2)  |  1999 (1)  |  1997 (1)

All posts (142)