Cosmology.BITKernelFamilies |
7 |
0 |
5 |
123 |
— |
Cosmology.BaryogenesisFromJCost |
3 |
0 |
1 |
49 |
— |
Cosmology.BaryogenesisTrajectory |
6 |
0 |
2 |
106 |
— |
Cosmology.BaryogenesisTrajectoryFromPhiLadder |
4 |
0 |
2 |
73 |
— |
Cosmology.BaryonAsymmetryFromPhiLadder |
8 |
0 |
3 |
82 |
— |
Cosmology.CDMDensityParameterFromRS |
2 |
0 |
2 |
41 |
— |
Cosmology.CMBAcousticPeakRatios |
9 |
0 |
5 |
200 |
— |
Cosmology.CosmicInflationFromJCost |
2 |
0 |
1 |
43 |
— |
Cosmology.CosmicMicrowaveBackgroundFromRS |
3 |
0 |
6 |
57 |
— |
Cosmology.CosmologicalConstant |
4 |
0 |
15 |
236 |
— |
Cosmology.CosmologicalConstantDerivation |
9 |
0 |
3 |
200 |
— |
Cosmology.DarkEnergy |
9 |
0 |
15 |
229 |
— |
Cosmology.DarkEnergyEOS |
3 |
0 |
3 |
100 |
— |
Cosmology.DarkEnergyEquationOfState |
1 |
0 |
3 |
45 |
— |
Cosmology.DarkEnergyEquationOfStateDepth |
4 |
0 |
2 |
66 |
— |
Cosmology.DarkEnergyEvolutionStructure |
6 |
0 |
1 |
55 |
— |
Cosmology.DarkMatter |
5 |
0 |
12 |
293 |
— |
Cosmology.DarkMatterCrossSectionBound |
3 |
0 |
4 |
94 |
— |
Cosmology.DarkMatterTopology |
4 |
0 |
2 |
92 |
— |
Cosmology.DarkMatterXENONPrediction |
2 |
0 |
3 |
52 |
— |
Cosmology.EarlyUniverse |
5 |
0 |
1 |
104 |
— |
Cosmology.EtaBExactRungDerivation |
13 |
0 |
6 |
172 |
2 |
Cosmology.EtaBPrefactorDerivation |
22 |
2 |
3 |
260 |
1 |
Cosmology.FlatnessProblem |
6 |
0 |
9 |
252 |
— |
Cosmology.GalaxyRotation |
7 |
0 |
9 |
249 |
— |
Cosmology.GravitationalLensingFromRS |
3 |
0 |
2 |
50 |
— |
Cosmology.HorizonProblem |
3 |
0 |
9 |
229 |
— |
Cosmology.HubbleResolution |
1 |
0 |
2 |
91 |
— |
Cosmology.HubbleTension |
8 |
0 |
9 |
192 |
— |
Cosmology.HubbleTensionBound |
4 |
0 |
6 |
89 |
— |
Cosmology.HubbleTensionCertificate |
10 |
0 |
1 |
213 |
— |
Cosmology.HubbleTensionFromBIT |
3 |
0 |
2 |
54 |
— |
Cosmology.HubbleTensionPipelineFromZAging |
6 |
0 |
2 |
82 |
— |
Cosmology.Inflation |
11 |
0 |
10 |
234 |
— |
Cosmology.InflationModelsFromConfigDim |
1 |
0 |
1 |
35 |
— |
Cosmology.InflationReheatTemperature |
0 |
0 |
1 |
30 |
— |
Cosmology.InflationSpectralIndexFromJCost |
5 |
0 |
4 |
67 |
— |
Cosmology.InflatonPotentialFromJCost |
6 |
0 |
2 |
124 |
— |
Cosmology.InflatonPotentialStructural |
6 |
0 |
4 |
81 |
— |
Cosmology.LargeScaleStructureFromRS |
3 |
0 |
2 |
50 |
— |
Cosmology.MatterAntimatter |
7 |
4 |
12 |
319 |
— |
Cosmology.NeutrinoHierarchyFromPhiLadder |
3 |
0 |
2 |
48 |
— |
Cosmology.NonAbelianSuppression |
4 |
0 |
5 |
130 |
— |
Cosmology.Nucleosynthesis |
5 |
0 |
12 |
230 |
— |
Cosmology.OmegaLambdaBITKernelBand |
3 |
0 |
2 |
68 |
— |
Cosmology.PerpetualComplexity |
6 |
0 |
2 |
130 |
— |
Cosmology.Predictions |
1 |
0 |
2 |
30 |
— |
Cosmology.PrimordialNucleosynthesisFromRS |
3 |
0 |
2 |
52 |
— |
Cosmology.PrimordialSpectrum |
4 |
0 |
13 |
244 |
— |
Cosmology.ReionizationHistoryFromRS |
3 |
0 |
2 |
53 |
— |
Cosmology.SIConversion |
5 |
0 |
16 |
136 |
— |
Cosmology.ScaleInvarianceSelectionCert |
4 |
0 |
1 |
79 |
— |
Cosmology.Sigma8Suppression |
6 |
0 |
16 |
228 |
— |
Cosmology.StructureFormationFromBIT |
6 |
0 |
2 |
113 |
— |
Cosmology.TensorToScalarRatioFromRS |
4 |
0 |
2 |
58 |
— |
Cosmology.ThermodynamicSelectionCert |
5 |
0 |
1 |
113 |
— |
Cosmology.VacuumUniformity |
5 |
0 |
4 |
72 |
— |
Cosmology.VoidTopologyFromConfigDim |
1 |
0 |
1 |
33 |
— |
Cosmology.WMassAnomalyStructure |
13 |
0 |
1 |
272 |
— |