Outer Web | Explore

Explore >> Select a destination

You are here		leanprover-community.github.io Completion of the Liquid Tensor Experiment \| Lean community blog
\|	\|	xenaproject.wordpress.com Beyond the Liquid Tensor Experiment \| Xena	11.5 parsecs away Travel
\|	\|	The liquid tensor experiment is now fully completed.	11.5 parsecs away Travel
\|	\|	www.jeremykun.com The Fundamental Theorem of Algebra (with Liouville) \|\| Math ? Programming	21.9 parsecs away Travel
\|	\|	This proof assumes knowledge of complex analysis, specifically the notions of analytic functions and Liouville's Theorem (which we will state below). The fundamental theorem of algebra has quite a few number of proofs (enough to fill a book!). In fact, it seems a new tool in mathematics can prove its worth by being able to prove the fundamental theorem in a different way. This series of proofs of the fundamental theorem also highlights how in mathematics there are many many ways to prove a single theorem...	21.9 parsecs away Travel
\|	\|	conferences.cirm-math.fr 2970 - conferences.cirm-math.fr	17.4 parsecs away Travel
\|	\|	CONFERENCE Lean for the curious mathematicianLean pour mathématiciens États de la Recherche SMF 25 29 March, 2024 WARNING: The conference is now full, you can still apply for the waiting list until Jan 15th 2024. We will contact you if new places become available. ATTENTION: La conférence est complète, vous pouvez encore vous []	17.4 parsecs away Travel
\|	\|	techcabal.com Four suspects in Equity Group card fraud scheme wired $2.4mn to Abu Dhabi	59.6 parsecs away Travel
\|		A letter seen by TechCabal showed that four suspects involved in a $2.4 million Equity Group card fraud transferred the funds to Abu Dhabi.	59.6 parsecs away Travel