jerrylicious
0 Followers · 0 Following
  • Joined on 2026-03-11
Repositories
3
 Projects Packages Public Activity Starred Repositories
jerrylicious pushed to main at jerrylicious/garden 2026-05-05 07:12:40 +02:00
47a7e1de68 Added notes on equicontinuity.
227436a9c2 Added saturated ideals.
e3c16a98b4 Updated the notation for convex and circled hulls.
60115baa41 Replaced references to upward-directed families with ideals.
e4da295fd9 Added introduction to polars.
Compare 5 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-05-04 04:57:52 +02:00
b2af2d8afb Fixed typo in dual systems.
jerrylicious pushed to main at jerrylicious/garden 2026-05-04 04:49:35 +02:00
ca5e81fdbc Started duality.
jerrylicious pushed to main at jerrylicious/garden 2026-05-02 22:02:44 +02:00
ba5830d5b6 Added associated space notation.
1e53581113 Added bornological spaces.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-05-02 01:27:46 +02:00
dcf11fb978 Added more bits on bornologic spaces.
0ef220bba5 Added proof for the BV claim.
4e0efaf7f5 Adjusted formulation of a total variation statement.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-05-01 22:40:03 +02:00
10e520dff3 Updated formulation in BV.
jerrylicious pushed to main at jerrylicious/garden 2026-05-01 22:27:24 +02:00
2219ce0b15 Added barreled spaces.
3077563278 Used "separated" instead of Hausdorff in the context of topological vector spaces.
caf7790b15 Fixed typo in Cauchy in measure.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-04-29 00:09:33 +02:00
95829261c7 Fixed typo in FTC for Riemann integrals.
jerrylicious pushed to main at jerrylicious/garden 2026-04-29 00:07:33 +02:00
225794ff81 Fixed typo in the definition of regulated maps.
jerrylicious pushed to main at jerrylicious/garden 2026-04-29 00:05:54 +02:00
6a960a6231 Fixed typo in variation function.
d187feb618 Fixed partition index typo.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-04-28 20:34:49 +02:00
34736f99a8 More typo fixes.
d80fae112d Fixed more convex typos.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-04-28 20:20:41 +02:00
e68b991240 Fixed typo in convex hull.
jerrylicious pushed to main at jerrylicious/garden 2026-04-23 21:57:23 +02:00
78cbee8b32 Lowered the table of contents depth.
9259cd1d86 Added notation pages for major sections.
945bfe9946 Fixed typos and migrated to new version.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/diffusion 2026-03-26 20:14:34 +01:00
7f2667580b Initial commit.
jerrylicious created branch main in jerrylicious/diffusion 2026-03-26 20:14:34 +01:00
jerrylicious created repository jerrylicious/diffusion 2026-03-26 20:12:47 +01:00
jerrylicious pushed to main at jerrylicious/garden 2026-03-26 19:58:09 +01:00
4be9c683f6 Updated config version to v0.2.0.
jerrylicious pushed to main at jerrylicious/garden 2026-03-22 22:12:29 +01:00
af1fa61668 Added the fundamental theorem of calculus.
jerrylicious pushed to main at jerrylicious/garden 2026-03-22 05:45:23 +01:00
156c9e8728 Added missing steps and fixed typos.
jerrylicious pushed to main at jerrylicious/garden 2026-03-22 00:35:16 +01:00
73ceab0a6d Fixed more mistakes in the dyadic rational numbers.