| .. | | 03-May-2022 | - |
| MAGMA/ | H | 03-May-2022 | - | 8 | 4 |
| Macaulay2/ | H | 03-May-2022 | - | 8 | 4 |
| maple/ | H | 03-May-2022 | - | 8 | 4 |
| A1_Grothendieck.g | H A D | 03-May-2022 | 241 | 11 | 5 |
| A1_Purity.g | H A D | 03-May-2022 | 127 | 9 | 4 |
| A2_Grothendieck.g | H A D | 03-May-2022 | 476 | 18 | 9 |
| A2_Purity.g | H A D | 03-May-2022 | 213 | 12 | 6 |
| A3_AsDifferentialObject.g | H A D | 03-May-2022 | 2.1 KiB | 49 | 47 |
| A3_Grothendieck.g | H A D | 03-May-2022 | 210 | 9 | 4 |
| A3_Purity.g | H A D | 03-May-2022 | 3.7 KiB | 147 | 141 |
| AMaximalIdealContaining.g | H A D | 03-May-2022 | 462 | 20 | 10 |
| Abelian.g | H A D | 03-May-2022 | 207 | 9 | 7 |
| AsDifferentialObject.g | H A D | 03-May-2022 | 2.3 KiB | 53 | 51 |
| Auslander-Buchsbaum.g | H A D | 03-May-2022 | 882 | 37 | 23 |
| BC_2.g | H A D | 03-May-2022 | 1.3 KiB | 73 | 44 |
| BC_3.g | H A D | 03-May-2022 | 423 | 23 | 12 |
| BC_4.g | H A D | 03-May-2022 | 419 | 23 | 12 |
| BC_6.g | H A D | 03-May-2022 | 423 | 23 | 12 |
| BV_4.g | H A D | 03-May-2022 | 1.1 KiB | 56 | 33 |
| BZ^3.g | H A D | 03-May-2022 | 319 | 16 | 8 |
| BZ^3_Q.g | H A D | 03-May-2022 | 321 | 16 | 8 |
| BurchProjectiveDimension.g | H A D | 03-May-2022 | 333 | 13 | 7 |
| CR.g | H A D | 03-May-2022 | 489 | 19 | 14 |
| CheckParametrization.g | H A D | 03-May-2022 | 384 | 20 | 12 |
| CodegreeOfPurity.g | H A D | 03-May-2022 | 4.5 KiB | 217 | 209 |
| CohenMacaulayModule.g | H A D | 03-May-2022 | 294 | 16 | 9 |
| CohenMacaulayRing.g | H A D | 03-May-2022 | 416 | 20 | 12 |
| Cokernel.g | H A D | 03-May-2022 | 564 | 26 | 22 |
| Complexes.g | H A D | 03-May-2022 | 1.2 KiB | 53 | 50 |
| Coupling.g | H A D | 03-May-2022 | 1.1 KiB | 64 | 47 |
| Cyclic8.g | H A D | 03-May-2022 | 1,023 | 25 | 20 |
| Dedekind.g | H A D | 03-May-2022 | 890 | 40 | 26 |
| Depth_vs_Codim.g | H A D | 03-May-2022 | 457 | 22 | 15 |
| DerShift.g | H A D | 03-May-2022 | 872 | 45 | 24 |
| Diego.g | H A D | 03-May-2022 | 328 | 20 | 13 |
| EdW.g | H A D | 03-May-2022 | 186 | 11 | 7 |
| Einstein.g | H A D | 03-May-2022 | 1,007 | 27 | 19 |
| Eliminate.g | H A D | 03-May-2022 | 1.4 KiB | 45 | 42 |
| ExtExt.g | H A D | 03-May-2022 | 3.7 KiB | 131 | 123 |
| Filtration.g | H A D | 03-May-2022 | 383 | 16 | 8 |
| FoSys_HoEq_Janet.g | H A D | 03-May-2022 | 653 | 31 | 21 |
| FoSys_HoEq_JanetOre.g | H A D | 03-May-2022 | 544 | 28 | 18 |
| FoSys_HoEq_Singular.g | H A D | 03-May-2022 | 557 | 28 | 18 |
| FreeHom.g | H A D | 03-May-2022 | 243 | 14 | 7 |
| Gcd_UsingCayleyDeterminant.g | H A D | 03-May-2022 | 231 | 9 | 8 |
| Grothendieck-SpectralCosequence.g | H A D | 03-May-2022 | 865 | 25 | 23 |
| Grothendieck.g | H A D | 03-May-2022 | 226 | 9 | 4 |
| H0H1.g | H A D | 03-May-2022 | 715 | 38 | 26 |
| H99E26_MAGMA.g | H A D | 03-May-2022 | 285 | 14 | 8 |
| HairyBall.g | H A D | 03-May-2022 | 258 | 13 | 6 |
| HilbertPolynomial.g | H A D | 03-May-2022 | 4 KiB | 82 | 71 |
| Hom(Hom(-,Z128),Z16)_On_Seq.g | H A D | 03-May-2022 | 6.9 KiB | 250 | 242 |
| HomMap2Left.g | H A D | 03-May-2022 | 295 | 11 | 8 |
| HomMap2Right.g | H A D | 03-May-2022 | 331 | 11 | 8 |
| HomMapLeft.g | H A D | 03-May-2022 | 295 | 11 | 8 |
| HomMapRight.g | H A D | 03-May-2022 | 331 | 11 | 8 |
| HomMap_R.g | H A D | 03-May-2022 | 440 | 18 | 13 |
| Hom_Left.g | H A D | 03-May-2022 | 495 | 21 | 16 |
| Hom_R_Left.g | H A D | 03-May-2022 | 284 | 17 | 11 |
| Hom_R_Right.g | H A D | 03-May-2022 | 304 | 17 | 11 |
| Hom_Right.g | H A D | 03-May-2022 | 561 | 21 | 16 |
| IdealRestriction.g | H A D | 03-May-2022 | 233 | 16 | 8 |
| IdealvsSubobjectProperties.g | H A D | 03-May-2022 | 730 | 37 | 21 |
| IntersectWithSubalgebra.g | H A D | 03-May-2022 | 660 | 26 | 13 |
| Invariants.g | H A D | 03-May-2022 | 374 | 19 | 9 |
| Inverse.g | H A D | 03-May-2022 | 334 | 12 | 9 |
| JacobsonNormalForm.g | H A D | 03-May-2022 | 309 | 17 | 10 |
| Janet.g | H A D | 03-May-2022 | 518 | 25 | 16 |
| JordanNormalForm.g | H A D | 03-May-2022 | 514 | 29 | 19 |
| Macaulay.g | H A D | 03-May-2022 | 704 | 31 | 22 |
| Markus_Lokalisierung.g | H A D | 03-May-2022 | 737 | 37 | 28 |
| MaximalIndependentSet.g | H A D | 03-May-2022 | 282 | 12 | 6 |
| Mixed.g | H A D | 03-May-2022 | 1.7 KiB | 48 | 33 |
| NonCohenMacaulayModuleNonEquidimensional.g | H A D | 03-May-2022 | 617 | 27 | 19 |
| NonCohenMacaulayModuleNotConnectedInCodim1.g | H A D | 03-May-2022 | 347 | 17 | 10 |
| NonCohenMacaulayRingNonEquidimensional.g | H A D | 03-May-2022 | 789 | 34 | 22 |
| NonCohenMacaulayRingNotConnectedInCodim1.g | H A D | 03-May-2022 | 392 | 21 | 12 |
| Plesken_M2+M+1.g | H A D | 03-May-2022 | 319 | 19 | 11 |
| Plesken_M2.g | H A D | 03-May-2022 | 309 | 19 | 11 |
| ProjectiveNonStablyFree.g | H A D | 03-May-2022 | 476 | 37 | 18 |
| ProjectiveOfNonconstantRank_Rank0.g | H A D | 03-May-2022 | 509 | 36 | 18 |
| Purity.g | H A D | 03-May-2022 | 4.5 KiB | 191 | 185 |
| Quadrat_Thesis_Example_3.4.1.g | H A D | 03-May-2022 | 323 | 18 | 12 |
| RHom_Z.g | H A D | 03-May-2022 | 657 | 30 | 27 |
| Recursion.g | H A D | 03-May-2022 | 279 | 13 | 6 |
| ReducedBasisOfModule.g | H A D | 03-May-2022 | 1.6 KiB | 56 | 46 |
| ReflexiveNonProjectiveIdeal.g | H A D | 03-May-2022 | 298 | 18 | 9 |
| RegularSequenceUptoPermutation.g | H A D | 03-May-2022 | 296 | 15 | 10 |
| RingOfDerivations.g | H A D | 03-May-2022 | 136 | 6 | 4 |
| S1A1_Purity.g | H A D | 03-May-2022 | 126 | 9 | 4 |
| ShortenResolution.g | H A D | 03-May-2022 | 400 | 23 | 13 |
| SimplerEquivalentMatrix.g | H A D | 03-May-2022 | 1.5 KiB | 61 | 45 |
| SpectralCosequence.g | H A D | 03-May-2022 | 554 | 19 | 17 |
| SpectralSequence.g | H A D | 03-May-2022 | 872 | 25 | 23 |
| SubobjectQuotient.g | H A D | 03-May-2022 | 226 | 12 | 6 |
| TorExt.g | H A D | 03-May-2022 | 4.2 KiB | 150 | 141 |
| TorExt_Grothendieck.g | H A D | 03-May-2022 | 3.7 KiB | 131 | 123 |
| TorExt_via_Hom(P,P).g | H A D | 03-May-2022 | 686 | 24 | 16 |
| Triangle.g | H A D | 03-May-2022 | 457 | 17 | 14 |
| TwistedCubic.g | H A D | 03-May-2022 | 400 | 17 | 12 |
| Viktor.g | H A D | 03-May-2022 | 650 | 26 | 19 |
| WhySpectral.g | H A D | 03-May-2022 | 1.1 KiB | 63 | 39 |
| examples.g | H A D | 03-May-2022 | 6 KiB | 167 | 131 |
| qiCounterExample.g | H A D | 03-May-2022 | 587 | 23 | 20 |
| reducedBasisOfModule2.g | H A D | 03-May-2022 | 688 | 28 | 23 |