Record · corpus.blog/posts/01a0bb58-69a3-70d8-8339-899e143d9668

The road to Networked Mathematics

logic-forall.blogspot.com · published 3 February 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at logic-forall.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 57
Words captured: 1,189

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgMnsqM_y5f6YYB-gGznaw95dJ7TWEkAOuxi7V6scm3xNtU7CkkgODqrOPOPhTyNtT1EIv2tZC54BnTVcteKkgIwZuikP3FRrLtLzLSZmTt6rpSdgjDxh1LdxaLRrmy-IgeOvK0nvQBYDZ8aGOAPrODgA9QudZEHOoX69OuhllZ2ff_9tNY9npFUsJonVk/s1596/mapMath.png

blogger.googleusercontent.com

https://www.youtube.com/watch?v=XqpvBaiJRHo

youtube.com

https://topos.site/blog/2022/12/dialectica-categories-in-computing/

topos.site

https://topos.site/blog/2021/07/introducing-the-mathfoldr-project/

topos.site

https://topos.site/blog/2022/04/the-many-facets-of-networked-mathematics/

topos.site

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgAYASiNj9XvxpDSg74QSoVRkK3hZNKaLGM3CYfDSZr0eJo7UTsYjQeE28kDttE6ThnPJZeCPYFW9Y2YJTjUe0D8k7ZcPJ5QTPEsu3DIHahvQXEx_8Jt4ZD8KDe6I3UU9nZP8c4FCj92UPdaCODvLmilP29p6xhLpoagpBQkIFTYtMbwsKFqdsoxpammPE/s1190/Poster_Prospects_nachTemplate-2.jpg

blogger.googleusercontent.com

https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/description/

him.uni-bonn.de

https://topos.site/blog/2023/01/preparing-for-networked-mathematics/

topos.site

https://www.cl.cam.ac.uk/~lp15/

cl.cam.ac.uk

https://www.youtube.com/watch?v=tYq

youtube.com

https://www.cl.cam.ac.uk/seminars/wednesday/video/20221123-1500-t182654.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/research/hvg/Isabelle/

cl.cam.ac.uk

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiFHtnoaESLc4myNvopkjjVvWlO8_QiGN7CUxLMTif8KfnmZPUqrL7PMmtqF8suKlGEsE5F1fSBMMNVejdNPLPoJ6m8VrkJDVH25ez1qqL90d1OH35m5FQ0aOWVL6AoIR0Y1ItQQdW6l2_oyhKPIg2Bx2sCaLrYXLFm-1CeCs4ezgx-4gvR3-Mf2c9YeDw/s822/Isabelle-logo.png

blogger.googleusercontent.com

https://lawrencecpaulson.github.io/

lawrencecpaulson.github.io

https://warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/

warwick.ac.uk

https://www.cl.cam.ac.uk/~lp15/papers/Workshop/papers/kalvala-linear.pdf

cl.cam.ac.uk

https://www.cl.cam.ac.uk/~lp15/Grants/auth.html

cl.cam.ac.uk

https://www.isa-afp.org/

isa-afp.org

https://www.imperial.ac.uk/people/k.buzzardyz_LoANE

imperial.ac.uk

https://www.youtube.com/watch?v=alByz_LoANE

youtube.com

https://github.com/leanprover-community/mathlib

github.com

https://xenaproject.wordpress.com/

xenaproject.wordpress.com

https://kwarc.info/people/frabe/

kwarc.info

https://www.youtube.com/watch?v=uJ3psQ-Dkpw

youtube.com

https://kwarc.info/people/mkohlhase/

kwarc.info

https://kwarc.info/

kwarc.info

https://scholar.google.com/scholar?cluster=7705638128472278577&hl=en&as_sdt=2005

scholar.google.com

https://www.youtube.com/watch?v=Kpa8cCUZLms

youtube.com

https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/

quantamagazine.org

https://www.quantamagazine.org/at-the-international-mathematical-olympiad-artificial-intelligence-prepares-to-go-for-the-gold-20200921/

quantamagazine.org

https://www.nature.com/articles/d41586-021-01627-2

nature.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjlunk-lk1JlBZVqRtppj_wdhLgmzvbosR8S9VAOQRzRlz6dGl2QeI48Xq9M0ZVnUFFCdMsvB3xIUiXdmkxPXQYaVd7slUFvT7H1RbGXW_rSwBSGCl_o4b7WxCBj4iZgge8oIYpvXGCPZP-Tzr4keIpD8smJZpM62QmfCGj7Y7RfgxCeK3n7ah8kRCCy_4/s2198/LeanLogo.jpg

blogger.googleusercontent.com

http://page.mi.fu-berlin.de/cbenzmueller/

page.mi.fu-berlin.de

https://www.youtube.com/watch?v=c3qfeSmhN-8

youtube.com

https://en.wikipedia.org/wiki/Dana_Scott

en.wikipedia.org

https://people.ciirc.cvut.cz/~urbanjo3/

people.ciirc.cvut.cz

https://www.youtube.com/watch?v=xF6OSrd8QpU

youtube.com

https://www.cas.mcmaster.ca/~carette/

cas.mcmaster.ca

https://www.youtube.com/watch?v=VQiQtH47pbM

youtube.com

https://math.commelin.net/

math.commelin.net

https://www.youtube.com/watch?v=BJsEygxdl98

youtube.com

https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/

xenaproject.wordpress.com

https://www.cl.cam.ac.uk/~ak2110/

cl.cam.ac.uk

https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/

cl.cam.ac.uk

https://www.microsoft.com/en-us/research/project/alexandria/

microsoft.com

https://www.youtube.com/watch?v=084UXiJvFfY

youtube.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhXbGa7ZaExFsbGCIM-KLEsi9WW6QJGhS-OUIEltLowDsf5l_6G1cYtip8hlrgkZkDFxPpU8uMr8gfWwzRpPxlUSt1A0aRnVCEcvF0MtOQwGhiFhj6Zjll7XB8L9nV1NWp5b3Qs8UGPlNwyffvLM1c35AlXKlz0DTeTlBNKLnEeieSBe5988SlGVR9Nt7M/s678/Alexandria.jpg

blogger.googleusercontent.com

https://www.cs.rit.edu/~rlaz/

cs.rit.edu

https://www.youtube.com/watch?v=MWByUB46y7Q

youtube.com

https://www.cs.rit.edu/~dprl/mathseer/

cs.rit.edu

http://www.lsv.fr/~dowek/

lsv.fr

https://www.youtube.com/watch?v=znahDZ1TRbE

youtube.com

https://link.springer.com/article/10.1007/s11229-019-02226-5

link.springer.com

https://vcvpaiva.github.io/includes/pubs/2019-ecumenical.pdf

vcvpaiva.github.io

https://en.wikipedia.org/wiki/Dag_Prawitz

en.wikipedia.org

https://scholar.google.com/citations?view_op=view_citation&hl=en&user=AYdo1hMAAAAJ&sortby=pubdate&citation_for_view=AYdo1hMAAAAJ:dyiPZ63SVtYC

scholar.google.com

https://uniformal.github.io/

uniformal.github.io