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