#mizar
A review on mechanical proving and formalization of mathematical theorems. ~ Si Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang. https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10930874 #ITP #Coq #IsabelleHOL #HOL_Light #Mizar #LeanProver #Math
Readings shared February 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/23-readings_shared_02-23-25 #ATP #Coq #ITP #IsabelleHOL #Mace4 #Math #Mizar #Prover9 #Rocq
How to deepen your understanding of Mizar. ~ Alex Nelson. https://thmprover.wordpress.com/2025/02/22/how-to-deepen-your-understanding-of-mizar/ #ITP #Mizar
Readings shared January 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/04-readings_shared_01-04-25 #ITP #IsabelleHOL #LeanProver #HOL_Light #Mizar #Math #Logic #Haskell #Python
Formalization of orthogonal complements of normed spaces. ~ Hiroyuki Okazaki. https://intapi.sciendo.com/pdf/10.2478/forma-2024-0010 #ITP #Mizar #Math
Universality of measure space. ~ Noboru Endou, Yasunari Shidama. https://intapi.sciendo.com/pdf/10.2478/forma-2024-0012 #ITP #Mizar #Math
Ascoli-Arzel`a theorem (Metric space version). ~ Keiichi Miyajima, Hiroshi Yamazaki. https://intapi.sciendo.com/pdf/10.2478/forma-2024-0011 #ITP #Mizar #Math
Readings shared January 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/01-readings_shared_01-01-25 #ITP #LeanProver #Lean4 #Mizar #Math #Haskell #Python
Formal proof of transcendence of the number e (Part II). ~ Yasushige Watase. https://intapi.sciendo.com/pdf/10.2478/forma-2024-0009 #ITP #Mizar #Math
Formal proof of transcendence of the number e (Part I). ~ Yasushige Watase. https://intapi.sciendo.com/pdf/10.2478/forma-2024-0008 #ITP #Mizar #Math
Formalize the octonions. ~ Alex Nelson (@pqnelson.bsky.social). https://thmprover.wordpress.com/2024/12/19/formalize-the-octonions/ #ITP #Mizar #Math
Readings shared December 19, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/19-readings_shared_12-19-24 #ITP #IsabelleHOL #Mizar #Logic #Math #Haskell #FunctionalProgramming #LLMs
Elementary number theory problems (Part XV – Diophantine equations). ~ Karol Pąk, Artur Korniłowicz. https://repozytorium.uwb.edu.pl/jspui/bitstream/11320/17756/1/Elementary-Number-Theory-Problems-Part-XV-Diophantine-Equations.pdf #ITP #Mizar #Math
Loops in Mizar. ~ Alex Nelson (@pqnelson.bsky.social). https://thmprover.wordpress.com/2024/12/16/loops-in-mizar/ #ITP #Mizar #Math
RaiNews by undefined
TG2 Mizar
Le pagine della cultura italiana, i musei, le opere, i protagonisti. Direttore Antonio Preziosi. Vicedirettore Maria Antonietta Spadorcia. Curato e Condotto da Adriano Monti Buzzetti
Translated:
TG2. Mizar
Pages of Italian culture, museums, works, protagonists.
#Italy #TG #Mizar
https://www.rainews.it/rubriche/tg2mizar/video/2024/11/TG2-Mizar-ebb14b44-f260-496f-8c32-e581316e058a.html
RaiNews by undefined
TG2 Mizar
Le pagine della cultura italiana, i musei, le opere, i protagonisti. Direttore Antonio Preziosi. Vicedirettore Maria Antonietta Spadorcia. Curato e Condotto da Adriano Monti Buzzetti
Translated:
Mizar II
Pages of Italian culture, museums, works, protagonists.
#Italy #MizarII #Mizar
https://www.rainews.it/rubriche/tg2mizar/video/2024/11/TG2-Mizar-698be2e5-f8dc-49e0-894b-e5a79ba8cf91.html
RaiNews by undefined
TG2 Mizar
Le pagine della cultura italiana, i musei, le opere, i protagonisti. Direttore Antonio Preziosi. Vicedirettore Maria Antonietta Spadorcia. Curato e Condotto da Adriano Monti Buzzetti
Translated:
Mizar's second brightest star
Pages of Italian culture, museums, works, and protagonists.
#Italy #Mizar
https://www.rainews.it/rubriche/tg2mizar/video/2024/11/TG2-Mizar-9d345038-01c4-44ae-ace9-8f3ee4f202b1.html