Links
- https://www.uni-bonn.de/
- https://www.uni-bonn.de/fakultaeten
- https://www.mathematics.uni-bonn.de/de/search#
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=920&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=920&sort_on=Date&sort_order=reverse
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=920&sort_on=sortable_title
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video
- https://www.mathematics.uni-bonn.de/him/video-recordings
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop_bridging_between_informal_formal
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/sander-dahmen-and-alain-chavarri-villarello-computation-and-formalization-case-studies-in-computational-number-theory
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/moa-johansson-neuro-symbolic-architectures-for-asssisting-auto-formalisation-and-mathematical-discovery
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/peter-koepke-a-natural-language-formalization-of-perfectoid-rings-in-naproche
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/wenda-li-autoformalisation-bridging-the-gap-between-informal-and-formal-proofs
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/wojciech-nawrocki-commutative-diagrams-in-lean-demo
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/aarne-ranta-informath-informalization-of-formal-mathematics
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/frederik-schaefer-a-framework-for-prototyping-symbolic-natural-language-understanding
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_2_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/silvia-de-toffoli-diagrams-and-proofs
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=910&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=0&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=890&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=900&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=930&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=940&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=950&sort_on=relevance
- https://www.mathematics.uni-bonn.de/de/search?b_start%2525252525252525253Aint=70&b_start:int=2300&sort_on=relevance