![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | GRP624+4.p | 2020-06-17 12:28 | 233K | |
![]() | LCL478+1.p | 2020-06-17 07:08 | 107K | |
![]() | SET172-6.p | 2020-06-17 11:15 | 174K | |
![]() | card_1__611_27 | 2021-08-08 20:50 | 1.9M | |
![]() | l78_zmodul01 | 2021-08-23 08:17 | 924K | |
![]() | l88_pepin | 2021-08-23 23:05 | 562K | |
![]() | t2_integra3 | 2021-07-14 11:26 | 973K | |
![]() | t2_integra4 | 2021-07-12 08:32 | 1.3M | |
![]() | t2_lmod_5 | 2020-05-02 13:32 | 70K | |
![]() | t2_matrix12 | 2020-09-01 12:55 | 922K | |
![]() | t2_matrix_7 | 2020-05-26 15:14 | 60K | |
![]() | t2_polynom3 | 2020-11-09 19:39 | 323K | |
![]() | t3_int_5 | 2020-04-27 19:00 | 63K | |
![]() | t3_uniform1 | 2020-09-01 23:02 | 512K | |
![]() | t3_urysohn1 | 2020-05-29 19:46 | 54K | |
![]() | t4_topmetr3 | 2020-08-31 11:48 | 526K | |
![]() | t4_uniform1 | 2020-05-02 14:12 | 57K | |
![]() | t4_waybel_5 | 2020-06-12 12:31 | 632K | |
![]() | t5_yellow_1 | 2020-05-31 21:48 | 325K | |
![]() | t6_bhsp_5.out | 2020-05-06 11:05 | 1.1M | |
![]() | t6_clopban3.out | 2020-05-03 12:04 | 388K | |
![]() | t6_henmodel | 2020-05-04 01:51 | 40K | |
![]() | t6_lattice8 | 2020-06-25 20:48 | 315K | |
![]() | t6_ranknull | 2020-11-12 21:07 | 3.0M | |
![]() | t6_waybel31 | 2020-05-31 21:58 | 636K | |
![]() | t7_grsolv_1 | 2020-06-25 21:00 | 409K | |
![]() | t7_topreal5 | 2020-05-31 00:46 | 75K | |
![]() | t8_card_4 | 2020-04-27 19:16 | 31K | |
![]() | t8_conmetr | 2021-01-01 12:01 | 200K | |
![]() | t8_rinfsup1 | 2020-05-31 14:50 | 415K | |
![]() | t9_fib_num3 | 2021-01-01 12:26 | 461K | |
![]() | t9_jordan5a | 2020-04-28 11:25 | 95K | |
![]() | t9_mesfunc9 | 2020-09-01 23:32 | 750K | |
![]() | t10_card_4 | 2020-04-22 07:37 | 32K | |
![]() | t10_graph_4 | 2020-05-05 08:39 | 73K | |
![]() | t10_lfuzzy_0 | 2020-05-31 22:49 | 560K | |
![]() | t10_mfold_2 | 2020-05-31 22:53 | 694K | |
![]() | t10_topalg_3 | 2020-05-29 19:02 | 73K | |
![]() | t10_toprealb | 2020-05-02 10:28 | 41K | |
![]() | t10_xregular | 2020-06-10 07:14 | 47K | |
![]() | t11_lopban_6 | 2020-05-31 23:07 | 581K | |
![]() | t11_lp_space | 2020-10-24 12:30 | 512K | |
![]() | t11_toprealb | 2020-05-31 11:18 | 403K | |
![]() | t11_waybel_6 | 2020-05-31 08:18 | 227K | |
![]() | t12_conlat_1 | 2020-11-12 21:19 | 1.0M | |
![]() | t12_hfdiff_1 | 2021-07-16 12:29 | 1.4M | |
![]() | t12_integra4 | 2021-07-15 12:29 | 1.2M | |
![]() | t13_csspace2 | 2020-06-08 22:05 | 103K | |
![]() | t13_fdiff_11 | 2020-05-31 23:56 | 426K | |
![]() | t13_matrix_9 | 2021-01-02 09:39 | 107K | |
![]() | t13_tops_4__4 | 2020-11-05 01:26 | 827K | |
![]() | t14_fdiff_8 | 2021-07-19 18:28 | 783K | |
![]() | t14_fdiff_9 | 2021-07-19 09:59 | 1.4M | |
![]() | t14_simplex2 | 2020-05-25 23:00 | 72K | |
![]() | t14_tops_4 | 2020-06-01 00:05 | 762K | |
![]() | t15_borsuk_2 | 2020-05-02 11:01 | 58K | |
![]() | t15_conlat_2 | 2020-10-24 12:45 | 1.0M | |
![]() | t15_groeb_1 | 2020-06-04 18:47 | 1.3M | |
![]() | t15_matrlin | 2020-05-31 11:57 | 466K | |
![]() | t15_simplex2 | 2020-05-03 14:03 | 52K | |
![]() | t15_waybel21 | 2020-05-05 08:57 | 60K | |
![]() | t16_convex1 | 2020-05-05 09:04 | 33K | |
![]() | t16_integra5 | 2021-08-07 22:35 | 2.6M | |
![]() | t16_metric_1 | 2020-05-25 23:01 | 31K | |
![]() | t17_finseq_7 | 2020-05-25 23:06 | 64K | |
![]() | t17_lopban_2 | 2020-05-04 01:07 | 47K | |
![]() | t18_comptrig | 2020-05-02 11:22 | 61K | |
![]() | t18_connsp_2 | 2020-05-06 22:01 | 58K | |
![]() | t18_groupp_1 | 2020-05-06 05:59 | 51K | |
![]() | t18_jordan5a | 2021-07-16 11:58 | 1.1M | |
![]() | t18_nat_2 | 2021-01-04 20:11 | 572K | |
![]() | t19_matroid0 | 2020-06-01 00:16 | 112K | |
![]() | t20_alg_1 | 2020-05-27 15:46 | 102K | |
![]() | t20_card_fil | 2020-05-31 21:09 | 142K | |
![]() | t20_complex2 | 2020-11-26 20:04 | 379K | |
![]() | t20_index_1 | 2021-07-15 20:08 | 1.0M | |
![]() | t20_jgraph_2 | 2020-05-02 11:57 | 39K | |
![]() | t20_matrix11 | 2021-08-23 13:01 | 1.9M | |
![]() | t20_matrix_6 | 2020-06-01 00:20 | 633K | |
![]() | t20_matrix_9 | 2020-06-01 18:24 | 437K | |
![]() | t20_radix_3 | 2021-07-19 09:29 | 1.2M | |
![]() | t20_seq_2 | 2021-01-04 20:28 | 341K | |
![]() | t20_topreal6 | 2020-06-01 18:36 | 282K | |
![]() | t21_group_8 | 2020-05-23 07:04 | 47K | |
![]() | t21_jordan9 | 2020-11-12 20:44 | 845K | |
![]() | t22_binom | 2020-05-02 12:18 | 73K | |
![]() | t22_card_5 | 2021-01-04 20:41 | 328K | |
![]() | t22_comptrig | 2020-05-02 13:01 | 51K | |
![]() | t22_dynkin | 2020-05-26 15:00 | 33K | |
![]() | t22_ideal_1 | 2021-07-15 08:34 | 1.3M | |
![]() | t22_waybel_6 | 2021-07-14 10:51 | 834K | |
![]() | t23_descip_1 | 2020-05-07 08:20 | 129K | |
![]() | t23_integr13 | 2021-07-16 11:04 | 2.2M | |
![]() | t23_jordan16.out | 2020-05-02 19:30 | 2.3M | |
![]() | t23_pre_circ | 2020-06-07 18:26 | 163K | |
![]() | t24_bvfunc_1 | 2021-07-22 08:59 | 1.2M | |
![]() | t24_polynom7 | 2020-06-09 07:45 | 131K | |
![]() | t24_tops_4 | 2020-06-01 18:46 | 640K | |
![]() | t25_ncfcont2 | 2020-04-22 18:22 | 97K | |
![]() | t25_topgrp_1__0 | 2020-12-24 18:13 | 264K | |
![]() | t25_tops_4 | 2020-06-07 18:35 | 1.0M | |
![]() | t26_asympt_0 | 2020-06-09 07:48 | 126K | |
![]() | t26_groeb_2 | 2020-05-03 14:39 | 97K | |
![]() | t27_integr13 | 2021-07-11 21:37 | 1.1M | |
![]() | t27_nat_2 | 2021-01-02 10:09 | 721K | |
![]() | t27_waybel17 | 2020-11-12 20:14 | 1.9M | |
![]() | t28_card_2 | 2020-05-07 08:51 | 20K | |
![]() | t28_fib_num3 | 2020-05-26 15:08 | 34K | |
![]() | t28_frechet2.out | 2020-04-29 18:42 | 901K | |
![]() | t28_sin_cos3 | 2020-06-05 05:14 | 226K | |
![]() | t28_sin_cos6 | 2020-04-22 11:47 | 58K | |
![]() | t28_yellow_8__2 | 2020-11-02 22:44 | 853K | |
![]() | t29_ordinal3 | 2020-06-07 18:47 | 317K | |
![]() | t29_rat_1.out | 2020-04-29 18:48 | 619K | |
![]() | t29_series_4 | 2020-05-04 01:37 | 66K | |
![]() | t30_prob_2.out | 2020-04-29 19:17 | 405K | |
![]() | t31_borsuk_5 | 2021-08-21 06:50 | 1.0M | |
![]() | t31_integr13 | 2021-07-14 09:58 | 1.9M | |
![]() | t31_nat_4 | 2020-05-03 15:16 | 53K | |
![]() | t32_nat_4 | 2020-05-05 09:19 | 54K | |
![]() | t33_fdiff_7 | 2020-06-05 05:46 | 469K | |
![]() | t33_lopban_4.out | 2020-04-29 19:32 | 907K | |
![]() | t33_mesfunc9 | 2020-05-25 23:16 | 135K | |
![]() | t33_msualg_2.out | 2020-04-29 19:50 | 756K | |
![]() | t33_rlvect_2 | 2021-07-18 23:13 | 1.6M | |
![]() | t34_compl_sp__1 | 2020-11-02 22:57 | 36K | |
![]() | t34_goboard7 | 2020-06-05 05:54 | 542K | |
![]() | t34_mesfunc9 | 2020-10-24 12:25 | 1.2M | |
![]() | t34_topalg_6 | 2020-11-09 19:45 | 1.0M | |
![]() | t34_weierstr | 2020-11-09 08:50 | 1.2M | |
![]() | t35_nat_4 | 2020-08-31 11:23 | 327K | |
![]() | t35_rusub_5 | 2020-05-23 06:01 | 35K | |
![]() | t35_sincos10 | 2020-08-17 07:51 | 390K | |
![]() | t35_vectsp_1 | 2020-11-09 09:13 | 359K | |
![]() | t36_fdiff_7 | 2020-06-05 11:11 | 401K | |
![]() | t36_int_5 | 2021-07-19 19:00 | 573K | |
![]() | t36_jordan2c | 2020-05-31 14:18 | 384K | |
![]() | t36_ordinal5 | 2021-09-03 12:17 | 270K | |
![]() | t36_topgrp_1 | 2021-07-19 22:35 | 1.1M | |
![]() | t36_yellow19 | 2020-06-05 12:12 | 300K | |
![]() | t37_hausdorf | 2020-06-01 23:32 | 382K | |
![]() | t37_lexbfs | 2020-05-07 09:39 | 55K | |
![]() | t37_matrixr2 | 2020-05-31 08:45 | 464K | |
![]() | t37_yellow14 | 2020-04-27 19:00 | 55K | |
![]() | t38_dickson | 2020-11-13 08:33 | 2.4M | |
![]() | t40_groeb_2 | 2020-10-27 05:24 | 2.8M | |
![]() | t40_matrtop3 | 2020-11-24 19:59 | 4.4M | |
![]() | t40_waybel30 | 2020-11-12 20:29 | 751K | |
![]() | t41_matrixr2 | 2020-09-24 12:02 | 1.0M | |
![]() | t41_matrtop1 | 2020-11-24 09:35 | 5.5M | |
![]() | t41_series_1 | 2020-05-31 11:31 | 344K | |
![]() | t42_fdiff_4.out | 2020-01-22 07:51 | 407K | |
![]() | t42_functor3.out | 2020-04-29 20:05 | 1.0M | |
![]() | t42_jordan6 | 2021-07-15 12:09 | 1.2M | |
![]() | t43_matrix14 | 2020-06-01 23:54 | 819K | |
![]() | t44_topgen_1 | 2020-05-02 18:52 | 49K | |
![]() | t45_orders_1 | 2020-04-27 19:10 | 45K | |
![]() | t47_topgen_4 | 2020-09-01 13:40 | 557K | |
![]() | t48_int_4 | 2021-07-15 21:12 | 1.6M | |
![]() | t49_fdiff_6 | 2020-05-07 12:02 | 78K | |
![]() | t49_jordan5d | 2020-05-06 22:23 | 75K | |
![]() | t49_mesfun9c | 2020-11-24 23:41 | 12M | |
![]() | t50_fcont_1 | 2021-08-24 00:50 | 609K | |
![]() | t50_fdiff_6 | 2021-07-18 21:59 | 1.7M | |
![]() | t50_integr13 | 2020-05-31 00:33 | 107K | |
![]() | t50_sin_cos9 | 2020-08-17 08:16 | 550K | |
![]() | t51_fdiff_11 | 2021-08-23 13:58 | 1.3M | |
![]() | t51_yellow_7 | 2020-11-12 20:58 | 1.8M | |
![]() | t53_funct_8 | 2020-05-25 23:38 | 58K | |
![]() | t55_fdiff_11 | 2020-05-03 11:40 | 58K | |
![]() | t56_moebius1 | 2021-08-13 00:33 | 2.2M | |
![]() | t57_moebius1 | 2020-05-02 19:11 | 53K | |
![]() | t59_modelc_2 | 2021-07-20 11:43 | 6.2M | |
![]() | t60_euclidlp | 2020-05-31 11:46 | 634K | |
![]() | t60_pepin | 2021-07-12 08:09 | 594K | |
![]() | t61_pepin | 2021-08-13 00:21 | 246K | |
![]() | t65_analmetr | 2020-05-03 17:32 | 68K | |
![]() | t65_pepin | 2020-05-31 10:23 | 147K | |
![]() | t65_prob_3 | 2020-11-11 15:17 | 2.3M | |
![]() | t67_jordan | 2020-05-02 17:36 | 54K | |
![]() | t68_trees_3 | 2021-08-12 19:58 | 2.5M | |
![]() | t69_fib_num2 | 2021-01-04 21:46 | 553K | |
![]() | t70_integra8 | 2020-05-02 17:50 | 59K | |
![]() | t72_newton | 2020-04-27 19:33 | 30K | |
![]() | t78_jgraph_6 | 2020-11-11 14:55 | 8.8M | |
![]() | t81_group_5.out | 2020-05-03 11:54 | 269K | |
![]() | t82_integra8 | 2020-05-02 18:14 | 64K | |
![]() | t83_matrix13 | 2020-05-03 17:47 | 76K | |
![]() | t86_sincos10 | 2021-07-18 22:33 | 906K | |
![]() | t88_chord | 2021-08-12 20:08 | 938K | |
![]() | t89_sin_cos9 | 2020-04-28 15:18 | 67K | |
![]() | t92_matrixr2__3 | 2020-11-08 14:19 | 5.6M | |
![]() | t92_tsep_1__3 | 2020-11-02 23:10 | 295K | |
![]() | t93_mesfunc5 | 2020-04-27 20:12 | 59K | |
![]() | t95_integra8 | 2021-01-04 23:30 | 725K | |
![]() | t101_mesfunc5 | 2020-06-04 07:15 | 461K | |
![]() | t108_scmyciel | 2020-05-02 10:19 | 42K | |
![]() | t113_group_2 | 2020-04-22 08:38 | 50K | |
![]() | t115_group_9 | 2020-11-24 08:35 | 2.7M | |
![]() | t115_sin_cos9 | 2020-05-02 10:40 | 68K | |
![]() | t116_sin_cos9 | 2020-05-03 13:41 | 68K | |
![]() | t117_seq_4 | 2020-06-04 10:06 | 425K | |
![]() | t117_sin_cos9 | 2021-08-29 23:29 | 1.4M | |
![]() | t132_group_3 | 2020-05-25 22:38 | 54K | |
![]() | t132_seq_4 | 2020-05-04 00:55 | 44K | |
![]() | t151_zf_lang1 | 2020-08-31 13:07 | 506K | |
![]() | t152_group_2 | 2020-05-06 22:37 | 39K | |
![]() | train11 | 2020-04-26 15:08 | 413K | |