Pustam | पुस्तम | পুস্তম🇳🇵<p>Dirac notations.<br /><a href="https://mathstodon.xyz/tags/Dirac" class="mention hashtag" rel="tag">#<span>Dirac</span></a> <a href="https://mathstodon.xyz/tags/Notation" class="mention hashtag" rel="tag">#<span>Notation</span></a> <a href="https://mathstodon.xyz/tags/Notations" class="mention hashtag" rel="tag">#<span>Notations</span></a> <a href="https://mathstodon.xyz/tags/Vector" class="mention hashtag" rel="tag">#<span>Vector</span></a> <a href="https://mathstodon.xyz/tags/Ket" class="mention hashtag" rel="tag">#<span>Ket</span></a> <a href="https://mathstodon.xyz/tags/VectorDual" class="mention hashtag" rel="tag">#<span>VectorDual</span></a> <a href="https://mathstodon.xyz/tags/Bra" class="mention hashtag" rel="tag">#<span>Bra</span></a> <a href="https://mathstodon.xyz/tags/InnerProduct" class="mention hashtag" rel="tag">#<span>InnerProduct</span></a> <a href="https://mathstodon.xyz/tags/Tensor" class="mention hashtag" rel="tag">#<span>Tensor</span></a> <a href="https://mathstodon.xyz/tags/TensorProduct" class="mention hashtag" rel="tag">#<span>TensorProduct</span></a> #</p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.9Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#tensorproduct
0 posts · 0 participants · 0 posts today
Alex Nelson<p>I've been thinking about this for a while, sketching out the formalization of the tensor product in Mizar.</p><p>It's kind of long, not as step-by-step oriented as previous projects, because I wanted to give a better sense of "What it's like to formalize something". You don't have someone giving you step-by-step milestones, you have to figure it out on your own!</p><p>At the same time, even granting all of that, I gave a lot of suggested milestones (albeit informally and without fanfare).</p><p><a href="https://mathstodon.xyz/tags/Mizar" class="mention hashtag" rel="tag">#<span>Mizar</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="tag">#<span>ProofAssistant</span></a> <a href="https://mathstodon.xyz/tags/TensorProduct" class="mention hashtag" rel="tag">#<span>TensorProduct</span></a> <a href="https://mathstodon.xyz/tags/Tensor" class="mention hashtag" rel="tag">#<span>Tensor</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> </p><p><a href="https://thmprover.wordpress.com/2025/01/17/tensor-products-in-mizar/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">thmprover.wordpress.com/2025/0</span><span class="invisible">1/17/tensor-products-in-mizar/</span></a></p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload