Outer Web | Explore

Explore >> Select a destination

You are here		nghoussoub.com Mathematical modeling of a bureaucrat's song and dance \| Piece of Mind
\|	\|	homotopytypetheory.org On the ?-topos semantics of homotopy type theory?? \| Homotopy Type Theory	10.7 parsecs away Travel
\|	\|	Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new...	10.7 parsecs away Travel
\|	\|	rhubbarb.wordpress.com Tools for Writing Mathematical Blog Posts \| Rob Hubbard's Blog	12.9 parsecs away Travel
\|	\|	My previous post was written with the help of a few very useful tools: LaTeX mathematical typesetting Gummi LaTeX editor Python programming language PyX Python / LaTeX graphics package my own PyPyX wrapper around PyX LaTeX2WP script for easy conversion from LaTeX to WordPress HTML	12.9 parsecs away Travel
\|	\|	genealogyalacarte.ca Almost 18,000 New Brunswick birth registrations digitized, from 1920 to 1929 - Genealogy à la carteGenealogy à la carte	9.8 parsecs away Travel
\|	\|	The Provincial Archives of New Brunswick yesterday added 17,965 digitized images of registrations of birth for Charlotte, Kings and Madawaska counties from 1920 to 1929 to the Vital Statistics from Government Records collection on its website.	9.8 parsecs away Travel
\|	\|	linsdoodles.wordpress.com Pull up a Seat - Week 10 \| Lins Doodles	15.4 parsecs away Travel
\|		For XingfuMama's Pull up a seat Photo Challenge	15.4 parsecs away Travel