Dima Pasechnik 🇺🇦 🇳🇱
dimpase@mathstodon.xyz
<p><a href="https://mathoverflow.net/users/11100/dima-pasechnik" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">mathoverflow.net/users/11100/d</span><span class="invisible">ima-pasechnik</span></a></p><p>USSR->Australia (Perth)->Netherlands->Germany->Netherlands->Singapore->Oxford (UK)->Evanston, Illinois (USA)</p><p>Lecturer at CS Department, mathematician interested in "computer algebra".</p><p>My Erdős number is 2 in two different ways, via Lex Schrijver, and via Michel Deza.</p>
Posts
-
View post
https://github.com/anticapitalistcomputerclub/kill-yr-substack sorry, substackerz - this browser extension allows to read your posts elsewhere, stealing $$$clicks
-
View post
@tao pre-compiled tables are rather common in implementations of numerical methods, such as e.g. computing the Г - function. It's remarkable that it's essentially the same trick helps in formal proofs.