jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
584 Commits 1 Branch 0 Tags
b5c1e7488d98baa97384668329a100c697bf8acf
Commit Graph
17 Commits
Author SHA1 Message Date
Bokuan Li b5c1e7488d Notation management. 2026-11-06 19:16:21 -05:00
Bokuan Li 64d19d3942 Housekeeping: moved von Neumann algebras to its own part. 2026-11-06 17:44:20 -05:00
Bokuan Li 5bb7162c29 More housekeeping. 2026-11-06 15:52:24 -05:00
Bokuan Li 8f0998d52f Added projections.
Compile Project / Compile (push) Successful in 50s
Details
2026-08-24 17:41:04 -04:00
Bokuan Li 881f4a4746 Editing. 2026-08-20 16:25:48 -04:00
Bokuan Li b51f12a338 Added the extended inverse Gelfand transform. 2026-08-14 20:10:47 -04:00
Bokuan Li 2177baf09d Added the Kaplansky Density Theorem.
Compile Project / Compile (push) Successful in 53s
Details
2026-08-11 16:18:48 -04:00
Bokuan Li 84316a2059 Fiest draft of nuclear operators. 2026-07-13 15:26:05 -04:00
Bokuan Li d0f646fbe1 Added GNS.
Compile Project / Compile (push) Successful in 44s
Details
2026-07-09 15:31:43 -04:00
Bokuan Li e5ef0d51df Added states.
Compile Project / Compile (push) Successful in 41s
Details
2026-07-08 15:02:23 -04:00
Bokuan Li 35e9550ff2 Added the continuous functional calculus. 2026-07-03 15:21:33 -04:00
Bokuan Li f72f815c72 Added basic facts about the Gelfand transform. 2026-06-03 15:44:13 -04:00
Bokuan Li 2c1169e55a Added a handful of examples.
Compile Project / Compile (push) Successful in 38s
Details
2026-06-02 21:39:59 -04:00
Bokuan Li 44d8bbd4da Added basic facts on maximal ideals. 2026-06-02 15:40:18 -04:00
Bokuan Li fb9febc01b Fixed typo in notations. 2026-06-01 00:05:45 -04:00
Bokuan Li 3a07b5331e Added basics of Banach algebras. 2026-05-31 19:26:20 -04:00
Bokuan Li 538a02ba37 Added the inverse function theorem.
Compile Project / Compile (push) Successful in 33s
Details
2026-05-10 19:42:25 -04:00