Асистент доведення теорем (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Асистент доведення теорем" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

2^nd place

4^th place

3quantamagazine.org

6,413^th place

low place

6,086^th place

low place

1semanticscholar.org

11^th place

964^th place

6,505^th place

low place

7,948^th place

low place

1jiggerwit.wordpress.com

low place

low place

1imperial.ac.uk

7,025^th place

low place

1nieuwarchief.nl

low place

low place

doi.org

Geuvers, Herman (February 2009). Proof assistants: History, ideas and future. Sādhanā. 34 (1): 3—25. doi:10.1007/s12046-009-0001-5. S2CID 14827467.
Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland (29 травня 2017). A Formal Proof of the Kepler Conjecture. Forum of Mathematics, Pi. 5: e2. doi:10.1017/fmp.2017.1.
Commelin, Johan (2022). Liquid Tensor Experiment (PDF). Mitteilungen der Deutschen Mathematiker-Vereinigung. 30 (3): 166—170. doi:10.1515/dmvm-2022-0058.

ias.ac.in

Geuvers, Herman (February 2009). Proof assistants: History, ideas and future. Sādhanā. 34 (1): 3—25. doi:10.1007/s12046-009-0001-5. S2CID 14827467.

ias.edu

Voevodsky, Vladimir (Summer 2014). The Origins and Motivations of Univalent Foundations: A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes (PDF). The Institute Letter. Institute for Advanced Study: 8—9.

imperial.ac.uk

wwwf.imperial.ac.uk

Buzzard, Kevin. The Future of Mathematics? (PDF). Процитовано 6 жовтня 2020.

jiggerwit.wordpress.com

Hales, Thomas (18 вересня 2018). A Review of the Lean Theorem Prover. Процитовано 6 жовтня 2020.

kit.edu

pp.ipd.kit.edu

Moura, Leonardo de; llrich, Sebastian. The Lean 4 Theorem Prover and Programming Language (PDF). Automated Deduction–CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings 28. Springer International Publishing: 625—635.

nieuwarchief.nl

Commelin, Johan (2022). Liquid Tensor Experiment (PDF). Mitteilungen der Deutschen Mathematiker-Vereinigung. 30 (3): 166—170. doi:10.1515/dmvm-2022-0058.

quantamagazine.org

Hartnett, Kevin (19 травня 2015). Will Computers Redefine the Roots of Math?. Quanta Magazine.
Hartnett, Kevin (28 липня 2021). Proof Assistant Makes Jump to Big-League Math. Quanta Magazine.
Hartnett, Kevin (28 липня 2021). Proof Assistant Makes Jump to Big-League Math. Quanta Magazine.

semanticscholar.org

api.semanticscholar.org

Geuvers, Herman (February 2009). Proof assistants: History, ideas and future. Sādhanā. 34 (1): 3—25. doi:10.1007/s12046-009-0001-5. S2CID 14827467.