Check results for by Yinweichen
Data collected since November 2023.
Link additions
zh.wikipedia.org
-
(diff |
hist)
2024-06-21 16:26
.. zh.wikipedia.org
..
Lean
..
Yinweichen
(check |
GUC |
CA)
N
- https://adam.math.hhu.de/#/g/leanprover-community/nng4 (check domain)
- https://ai.meta.com/blog/ai-math-theorem-proving/ (check domain)
- https://formalabstracts.github.io (check domain)
- https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/ (check domain)
- https://lean-fro.org (check domain)
- https://lean-fro.org (check domain)
- https://lean-fro.org/about/ (check domain)
- https://lean-lang.org (check domain)
- https://lean-lang.org/about/ (check domain)
- https://leanprover-community.github.io (check domain)
- https://leanprover-community.github.io/install/linux.html (check domain)
- https://leanprover-community.github.io/lean3/ (check domain)
- https://leanprover-community.github.io/mathlib_stats.html (check domain)
- https://leanprover.github.io (check domain)
- https://leanprover.github.io/lean4/doc/lean3changes.html (check domain)
- https://openai.com/research/formal-math (check domain)
- https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ (check domain)
- https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/ (check domain)
- https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ (check domain)
- https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf (check domain)
- https://xenaproject.wordpress.com/what-is-the-xena-project/ (check domain)
-
(diff |
hist)
2024-06-21 05:02
.. zh.wikipedia.org
..
User:Yinweichen/Testpage1
..
Yinweichen
(check |
GUC |
CA)
- https://adam.math.hhu.de/#/g/leanprover-community/nng4 (check domain)
- https://ai.meta.com/blog/ai-math-theorem-proving/ (check domain)
- https://formalabstracts.github.io (check domain)
- https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/ (check domain)
- https://lean-fro.org (check domain)
- https://lean-fro.org (check domain)
- https://lean-fro.org/about/ (check domain)
- https://lean-lang.org (check domain)
- https://lean-lang.org/about/ (check domain)
- https://leanprover-community.github.io (check domain)
- https://leanprover-community.github.io/install/linux.html (check domain)
- https://leanprover-community.github.io/lean3/ (check domain)
- https://leanprover-community.github.io/mathlib_stats.html (check domain)
- https://leanprover.github.io (check domain)
- https://leanprover.github.io/lean4/doc/lean3changes.html (check domain)
- https://openai.com/research/formal-math (check domain)
- https://pp.ipd.kit.edu/uploads/publikationen/demoura21lean4.pdf (check domain)
- https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ (check domain)
- https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/ (check domain)
- https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ (check domain)
- https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf (check domain)
- https://xenaproject.wordpress.com/what-is-the-xena-project/ (check domain)
-
(diff |
hist)
2024-06-21 04:58
.. zh.wikipedia.org
..
土星的卫星
..
Yinweichen
(check |
GUC |
CA)
- http://abyss.uoregon.edu/~js/ast121/lectures/lec17.html (check domain)
- http://c3po.barnesos.net/temp.2006/Cryo_Icarus.pdf (check domain)
- http://caps.space.swri.edu/caps/publications/PH06.pdf (check domain)
- http://ciclops.org/media/sp/2007/2677_7439_0.pdf (check domain)
- http://ciclops.org/media/sp/2007/3882_9284_0.pdf (check domain)
- http://ciclops.org/media/sp/2007/4691_10256_0.pdf (check domain)
- http://ciclops.org/sci/docs/RingsSatsPaper.pdf (check domain)
- http://ciclops.org/view/5518/S2008_S_1?js=1 (check domain)
- http://ciclops.org/view_popup.php?id=5926&js=1 (check domain)
- http://planetary.org/news/2005/0503_Twelve_New_Moons_for_Saturn.html (check domain)
- http://planets.oma.be/ISY/pdf/article_Icy.pdf (check domain)
- http://solarsystem.nasa.gov/planets/profile.cfm?Object=Enceladus (check domain)
- http://solarviews.com/eng/saturnbg.htm (check domain)
- http://www.astronomy.com/news/2016/03/moons-of-saturn-may-be-younger-than-the-dinosaurs (check domain)
- http://www.cbat.eps.harvard.edu/iauc/08800/08857.html (check domain)
- http://www.ciclops.org/media/sp/2011/6794_16344_0.pdf (check domain)
- http://www.dtm.ciw.edu/users/sheppard/satellites/saturn2006.html (check domain)
- http://www.dtm.ciw.edu/users/sheppard/satellites/saturn2007.html (check domain)
- http://www.geoinf.fu-berlin.de/publications/denk/2007/ThomasEtAl_SaturnMoonsShapes_Icarus_2007.pdf (check domain)
- http://www.iaa.es/content/pahs-titans-upper-atmosphere (check domain)
- http://www.minorplanetcenter.org/iau/NatSats/NaturalSatellites.html (check domain)
- http://www.planetary.org/blogs/emily-lakdawalla/2009/2078.html (check domain)
- http://www.planetary.org/blogs/emily-lakdawalla/2012/05211206.html (check domain)
- http://www.planetary.org/blogs/emily-lakdawalla/2017/0517-saturns-small-satellites-to-scale.html (check domain)
- http://www.skyandtelescope.com/astronomy-news/outer-planet-moons-found-and-lost/ (check domain)
- http://www.solarviews.com/eng/hypothet.htm#sat (check domain)
- http://www2.ess.ucla.edu/~jewitt/saturn2005.html (check domain)
- https://authors.library.caltech.edu/36635/7/Porco_Iapetus_SOM.pdf (check domain)
- https://authors.library.caltech.edu/51871/7/Lorenz.SOM.pdf (check domain)
- https://carnegiescience.edu/NameSaturnsMoons (check domain)
- https://carnegiescience.edu/news/saturn-surpasses-jupiter-after-discovery-20-new-moons-and-you-can-help-name-them (check domain)
- https://groups.io/g/mpml/message/35416 (check domain)
- https://had.aas.org/sites/had.aas.org/files/HADN32.pdf (check domain)
- https://hal-cea.archives-ouvertes.fr/cea-00930885/file/mur.pdf (check domain)
- https://pubs.giss.nasa.gov/docs/2005/2005_Porco_po05100g.pdf (check domain)
- https://semanticscholar.org/paper/064056e5ffc6339f7960ea613873f95233649b24 (check domain)
- https://semanticscholar.org/paper/7ec329458f5dabfa6c370476df8236779941f93f (check domain)
- https://semanticscholar.org/paper/9ce5b05ff75a655986bf5c9533bedc23754b118f (check domain)
- https://semanticscholar.org/paper/cb9e8affb1d9afe7cb6165c7407643d7a49c622f (check domain)
- https://semanticscholar.org/paper/fc654cf4d0c8cf518e0bb5d464107ac69f6460fd (check domain)
- https://solarsystem.nasa.gov/moons/saturn-moons/enceladus/in-depth/ (check domain)
- https://solarsystem.nasa.gov/moons/saturn-moons/overview/ (check domain)
- https://solarsystem.nasa.gov/news/12432/cassini-images-ring-arcs-among-saturns-moons/ (check domain)
- https://www.annualreviews.org/doi/pdf/10.1146/annurev.astro.44.051905.092459 (check domain)
- https://www.projectpluto.com/find_orb.htm (check domain)
- https://www.webcitation.org/610c8g3sc?url=http://planetarynames.wr.usgs.gov/Page/Planets (check domain)
- https://www.webcitation.org/617VtVVQM?url=http://apod.nasa.gov/apod/ap050325.html (check domain)
- https://www.webcitation.org/6688uwQmL?url=http://www.minorplanetcenter.org/iau/NatSats/NaturalSatellites.html (check domain)
-
(diff |
hist)
2024-06-21 04:57
.. zh.wikipedia.org
..
土星的卫星
..
Yinweichen
(check |
GUC |
CA)
- https://adam.math.hhu.de/#/g/leanprover-community/nng4 (check domain)
- https://ai.meta.com/blog/ai-math-theorem-proving/ (check domain)
- https://formalabstracts.github.io (check domain)
- https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/ (check domain)
- https://lean-fro.org (check domain)
- https://lean-fro.org (check domain)
- https://lean-fro.org/about/ (check domain)
- https://lean-lang.org (check domain)
- https://lean-lang.org/about/ (check domain)
- https://leanprover-community.github.io (check domain)
- https://leanprover-community.github.io/install/linux.html (check domain)
- https://leanprover-community.github.io/lean3/ (check domain)
- https://leanprover-community.github.io/mathlib_stats.html (check domain)
- https://leanprover.github.io (check domain)
- https://leanprover.github.io/lean4/doc/lean3changes.html (check domain)
- https://openai.com/research/formal-math (check domain)
- https://pp.ipd.kit.edu/uploads/publikationen/demoura21lean4.pdf (check domain)
- https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ (check domain)
- https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/ (check domain)
- https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ (check domain)
- https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf (check domain)
- https://xenaproject.wordpress.com/what-is-the-xena-project/ (check domain)
- (diff | hist) 2024-06-15 05:09 .. zh.wikipedia.org .. 小行星163693 .. Yinweichen (check | GUC | CA)
- (diff | hist) 2024-05-31 06:05 .. zh.wikipedia.org .. 索尔·珀尔马特 .. Yinweichen (check | GUC | CA)