Tõestusassistent (Estonian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Tõestusassistent" in Estonian language version.

refsWebsite

Global rank Estonian rank

3web.archive.org

1^st place

2quantamagazine.org

6,413^th place

low place

2doi.org

2^nd place

16^th place

2semanticscholar.org

11^th place

606^th place

1ocamlwiki.com

low place

1inria.fr

4,903^rd place

low place

1visualstudio.com

low place

1ru.nl

9,179^th place

3,424^th place

1ias.ac.in

6,086^th place

low place

1ams.org

451^st place

3,634^th place

1msr-inria.fr

low place

1ieee.org

652^nd place

732^nd place

1arxiv.org

69^th place

273^rd place

ams.org

Gonthier, Georges (2008), "Formal Proof—The Four-Color Theorem" (PDF), Notices of the American Mathematical Society, 55 (11): 1382–1393, MR 2463991, originaali arhiivikoopia (PDF) seisuga 5. august 2011

arxiv.org

Licata, Daniel R.; Shulman, Michael (2013). Calculating the Fundamental Group of the Circle in Homotopy Type Theory | IEEE Conference Publication | IEEE Xplore. Lk 223–232. arXiv:1301.3443. DOI:10.1109/lics.2013.28. ISBN 978-1-4799-0413-6. S2CID 5661377. Vaadatud 7. detsembril 2023.

doi.org

Geuvers, Herman (veebruar 2009). "Proof assistants: History, ideas and future". Sādhanā. 34 (1): 3–25. DOI:10.1007/s12046-009-0001-5. S2CID 14827467.
Licata, Daniel R.; Shulman, Michael (2013). Calculating the Fundamental Group of the Circle in Homotopy Type Theory | IEEE Conference Publication | IEEE Xplore. Lk 223–232. arXiv:1301.3443. DOI:10.1109/lics.2013.28. ISBN 978-1-4799-0413-6. S2CID 5661377. Vaadatud 7. detsembril 2023.

ias.ac.in

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

ieee.org

ieeexplore.ieee.org

Licata, Daniel R.; Shulman, Michael (2013). Calculating the Fundamental Group of the Circle in Homotopy Type Theory | IEEE Conference Publication | IEEE Xplore. Lk 223–232. arXiv:1301.3443. DOI:10.1109/lics.2013.28. ISBN 978-1-4799-0413-6. S2CID 5661377. Vaadatud 7. detsembril 2023.

inria.fr

coq.inria.fr

"A short introduction to Coq | The Coq Proof Assistant". coq.inria.fr. Vaadatud 18. jaanuaril 2024.

msr-inria.fr

"Feit thomson proved in coq - Microsoft Research Inria Joint Centre". 19. november 2016. Originaali arhiivikoopia seisuga 19. november 2016. Vaadatud 7. detsembril 2023.

ocamlwiki.com

"Certified Programming in Coq - Ocaml Wiki". www.ocamlwiki.com. Originaali arhiivikoopia seisuga 12. detsember 2023. Vaadatud 12. detsembril 2023.

quantamagazine.org

Ornes, Stephen (27. august 2020). "Quanta Magazine – How Close Are Computers to Automating Mathematical Reasoning?" (Ameerika inglise).
Sloman, Leila (6. detsember 2023). "'A-Team' of Math Proves a Critical Link Between Addition and Sets". Quanta Magazine (inglise). Vaadatud 7. detsembril 2023.

ru.nl

cs.ru.nl

Wiedijk, Freek (15. september 2023). "Formalizing 100 Theorems".

semanticscholar.org

api.semanticscholar.org

Geuvers, Herman (veebruar 2009). "Proof assistants: History, ideas and future". Sādhanā. 34 (1): 3–25. DOI:10.1007/s12046-009-0001-5. S2CID 14827467.
Licata, Daniel R.; Shulman, Michael (2013). Calculating the Fundamental Group of the Circle in Homotopy Type Theory | IEEE Conference Publication | IEEE Xplore. Lk 223–232. arXiv:1301.3443. DOI:10.1109/lics.2013.28. ISBN 978-1-4799-0413-6. S2CID 5661377. Vaadatud 7. detsembril 2023.

visualstudio.com

marketplace.visualstudio.com

Wenzel, Makarius. "Isabelle". Vaadatud 2. novembril 2019.

web.archive.org

"Certified Programming in Coq - Ocaml Wiki". www.ocamlwiki.com. Originaali arhiivikoopia seisuga 12. detsember 2023. Vaadatud 12. detsembril 2023.
Gonthier, Georges (2008), "Formal Proof—The Four-Color Theorem" (PDF), Notices of the American Mathematical Society, 55 (11): 1382–1393, MR 2463991, originaali arhiivikoopia (PDF) seisuga 5. august 2011
"Feit thomson proved in coq - Microsoft Research Inria Joint Centre". 19. november 2016. Originaali arhiivikoopia seisuga 19. november 2016. Vaadatud 7. detsembril 2023.