FilesExpand file tree

main

/

problems

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

 

 

main

/

problems

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
H1_not_closedComplemented.toml		H1_not_closedComplemented.toml
abel_ruffini.toml		abel_ruffini.toml
adoCharZero.toml		adoCharZero.toml
adoIwasawa.toml		adoIwasawa.toml
alternating_sign_matrix_count.toml		alternating_sign_matrix_count.toml
annulus_theorem_dim_four.toml		annulus_theorem_dim_four.toml
annulus_theorem_high_dim.toml		annulus_theorem_high_dim.toml
anosov_bowen_shadowing.toml		anosov_bowen_shadowing.toml
aspherical_integer_homology_four_sphere.toml		aspherical_integer_homology_four_sphere.toml
baer_suzuki.toml		baer_suzuki.toml
bakerWustholz_linearForms_logs.toml		bakerWustholz_linearForms_logs.toml
balanceable_bounded_partitions.toml		balanceable_bounded_partitions.toml
banach_alaoglu_bourbaki.toml		banach_alaoglu_bourbaki.toml
bauer_extreme_point_uniqueness.toml		bauer_extreme_point_uniqueness.toml
bezout_projective_multiplicity.toml		bezout_projective_multiplicity.toml
boone_higman_embedding.toml		boone_higman_embedding.toml
boone_higman_simple.toml		boone_higman_simple.toml
bourgain_polynomial_ergodic.toml		bourgain_polynomial_ergodic.toml
brauer_character_in_cyclotomic.toml		brauer_character_in_cyclotomic.toml
brauer_fowler.toml		brauer_fowler.toml
brauer_splitting_field.toml		brauer_splitting_field.toml
brauer_suzuki.toml		brauer_suzuki.toml
brouwer_fixed_point.toml		brouwer_fixed_point.toml
brun_constant_converges.toml		brun_constant_converges.toml
bvp_comparison.toml		bvp_comparison.toml
cauchy_kovalevskaya.toml		cauchy_kovalevskaya.toml
cdt_linearIndependent.toml		cdt_linearIndependent.toml
cerf_gamma_four.toml		cerf_gamma_four.toml
chebyshev_sign_change.toml		chebyshev_sign_change.toml
chen_theorem.toml		chen_theorem.toml
choquet_representation_theorem.toml		choquet_representation_theorem.toml
chudnovsky_formula_for_pi_inv.toml		chudnovsky_formula_for_pi_inv.toml
ci_regenerate_main_check.toml		ci_regenerate_main_check.toml
ckmrv_fourier_interpolation.toml		ckmrv_fourier_interpolation.toml
coherent_cohomology_finite_dimensional.toml		coherent_cohomology_finite_dimensional.toml
commProb_closed.toml		commProb_closed.toml
compact_group_semisimple.toml		compact_group_semisimple.toml
contractibleSpace_houseWithTwoRooms.toml		contractibleSpace_houseWithTwoRooms.toml
conway_knot_not_smoothly_slice.toml		conway_knot_not_smoothly_slice.toml
conway_knot_topologically_slice.toml		conway_knot_topologically_slice.toml
conway_schneeberger_fifteen.toml		conway_schneeberger_fifteen.toml
cubic_decay_asymptotic.toml		cubic_decay_asymptotic.toml
cyclotomic_integer_house_between_two_and_76_33.toml		cyclotomic_integer_house_between_two_and_76_33.toml
cyclotomic_integer_house_le_two.toml		cyclotomic_integer_house_le_two.toml
darboux.toml		darboux.toml
deBranges_theorem.toml		deBranges_theorem.toml
def_hole_example.toml		def_hole_example.toml
dehn_sommerville.toml		dehn_sommerville.toml
derived_solidification_free_CW_homology.toml		derived_solidification_free_CW_homology.toml
dirichlet_eigenvalues_eq_nat_sq.toml		dirichlet_eigenvalues_eq_nat_sq.toml
duffin_schaeffer.toml		duffin_schaeffer.toml
dvd_card_connectedComponent_markoffGraph.toml		dvd_card_connectedComponent_markoffGraph.toml
e8_irrep_tensor_square_decomp.toml		e8_irrep_tensor_square_decomp.toml
entropy_dimension_lyapunov.toml		entropy_dimension_lyapunov.toml
equichordal_point_unique.toml		equichordal_point_unique.toml
erdos_unit_distance_conjecture_false.toml		erdos_unit_distance_conjecture_false.toml
euler_lagrange_equation.toml		euler_lagrange_equation.toml
exists_chiral_knot.toml		exists_chiral_knot.toml
exists_complementary_polynomial_on_unit_circle.toml		exists_complementary_polynomial_on_unit_circle.toml
exists_nonisotopic_knots.toml		exists_nonisotopic_knots.toml
exists_nonisotopic_link.toml		exists_nonisotopic_link.toml
exists_topologically_slice_not_smoothly_slice.toml		exists_topologically_slice_not_smoothly_slice.toml
families_of_maps_b01.toml		families_of_maps_b01.toml
fang_xia_tiling_partition_transitive.toml		fang_xia_tiling_partition_transitive.toml
fary_milnor.toml		fary_milnor.toml
fatou_julia_dichotomy.toml		fatou_julia_dichotomy.toml
feit_thompson.toml		feit_thompson.toml
fermat_last_theorem.toml		fermat_last_theorem.toml
finite_graph_ramsey_theorem.toml		finite_graph_ramsey_theorem.toml
finite_group_isSolvable_of_card_eq_prime_pow_mul_prime_pow.toml		finite_group_isSolvable_of_card_eq_prime_pow_mul_prime_pow.toml
five_transitive_card_classification.toml		five_transitive_card_classification.toml
fourier_dirichlet_fejer.toml		fourier_dirichlet_fejer.toml
fraser_kakeya_fourier_decay.toml		fraser_kakeya_fourier_decay.toml
friedlander_iwaniec.toml		friedlander_iwaniec.toml
frobenius_group_determinant.toml		frobenius_group_determinant.toml
frobenius_kernel_isNormal.toml		frobenius_kernel_isNormal.toml
fundamental_topos_theory.toml		fundamental_topos_theory.toml
furstenberg_measure.toml		furstenberg_measure.toml
furstenberg_topological.toml		furstenberg_topological.toml
g2_irrep_tensor_square_decomp.toml		g2_irrep_tensor_square_decomp.toml
gauss_wantzel_constructible_polygon.toml		gauss_wantzel_constructible_polygon.toml
glAction_range_eq_centralizer_symAction.toml		glAction_range_eq_centralizer_symAction.toml
glauberman_zStar.toml		glauberman_zStar.toml
gleason_theorem_finite.toml		gleason_theorem_finite.toml
gleason_theorem_separable.toml		gleason_theorem_separable.toml
golod_shafarevich_inequality.toml		golod_shafarevich_inequality.toml
gorenstein_walter.toml		gorenstein_walter.toml
green_tao.toml		green_tao.toml
hadwiger.toml		hadwiger.toml
halmos_generic_weak_mixing.toml		halmos_generic_weak_mixing.toml
hausdorff_absolute_continuity.toml		hausdorff_absolute_continuity.toml
hausdorff_hildebrandt_schoenberg.toml		hausdorff_hildebrandt_schoenberg.toml
hausdorff_positivity_criterion.toml		hausdorff_positivity_criterion.toml
heat_kernel_solves_heat_equation.toml		heat_kernel_solves_heat_equation.toml
higman_infinite_simple.toml		higman_infinite_simple.toml
hilbert_smith_padic_dimension_three.toml		hilbert_smith_padic_dimension_three.toml
hippocrates_lunes.toml		hippocrates_lunes.toml
honeycomb_connective_constant.toml		honeycomb_connective_constant.toml
hopf_rinow.toml		hopf_rinow.toml
hopf_umlaufsatz.toml		hopf_umlaufsatz.toml
View all files