Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		mattbaker.blog Finitely generated modules over a P.I.D. and the Smith Normal Form \| Matt Baker's Math Blog
\|	\|	alanrendall.wordpress.com The Malgrange preparation theorem \| Hydrobates	6.5 parsecs away Travel
\|	\|	The theorem of the title is about dividing smooth functions by other smooth functions or, in other words, representing a given smooth function in terms of products of other smooth functions. A large part of the account which follows is based on that in the book 'Normal Forms and Unfoldings for Local Dynamical Systems' by...	6.5 parsecs away Travel
\|	\|	www.math3ma.com The Integral Domain Hierarchy, Part 1	3.8 parsecs away Travel
\|	\|	[AI summary] The article explains the hierarchy of integral domains in abstract algebra, detailing the relationships and proofs between fields, Euclidean domains, principal ideal domains, and unique factorization domains.	3.8 parsecs away Travel
\|	\|	rot256.dev Multilinear Proofs, Part I: Cubes & Roots	5.6 parsecs away Travel
\|	\|	Introduction This series of posts aims to be a comprehensive collection of facts, protocols, and theorems related to the information-theoretic foundations of multilinear proof systems. By "multilinear proof system" we refer to a system with multilinear polynomials as the underlying "arithmetization" of the proof system: where satisfiability of the computation, a (RAM) machine or circuit, is expressed as randomized relations between multilinear polynomials and the witness is the evaluation of multilinear polynomials over some tensor product.	5.6 parsecs away Travel
\|	\|	www.blueraja.com RSA Encryption, Part 3 \| One Man's Trash is Another Man's Blog	17.7 parsecs away Travel
\|		Math, Computers, and Other Silly Useless Things	17.7 parsecs away Travel