Index of /xml/CoRN/ftc/MoreFunSeries

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Algebraic_Properties/2005-07-05 08:13 -  
[ ]Cauchy_cont_Lim_IR.con.body.xml.gz2004-11-09 14:30 4.0K 
[ ]Cauchy_cont_Lim_IR.con.types.xml.gz2004-11-09 14:30 5.2K 
[ ]Cauchy_cont_Lim_IR.con.xml.gz2004-11-09 14:30 600  
[ ]Cauchy_conv_fun_seq'_IR.con.body.xml.gz2004-11-09 14:30 3.7K 
[ ]Cauchy_conv_fun_seq'_IR.con.types.xml.gz2004-11-09 14:30 3.5K 
[ ]Cauchy_conv_fun_seq'_IR.con.xml.gz2004-11-09 14:30 754  
[ ]Cauchy_conv_fun_seq_IR.con.body.xml.gz2004-11-09 14:30 1.6K 
[ ]Cauchy_conv_fun_seq_IR.con.types.xml.gz2004-11-09 14:30 2.0K 
[ ]Cauchy_conv_fun_seq_IR.con.xml.gz2004-11-09 14:30 456  
[ ]Cauchy_fun_real_IR.con.body.xml.gz2004-11-09 14:30 3.2K 
[ ]Cauchy_fun_real_IR.con.types.xml.gz2004-11-09 14:30 10K 
[ ]Cauchy_fun_real_IR.con.xml.gz2004-11-09 14:30 1.1K 
[ ]Cauchy_fun_seq2_IR.con.body.xml.gz2004-11-09 14:30 1.4K 
[ ]Cauchy_fun_seq2_IR.con.types.xml.gz2004-11-09 14:30 772  
[ ]Cauchy_fun_seq2_IR.con.xml.gz2004-11-09 14:30 274  
[ ]Cauchy_fun_seq2_seq_IR.con.body.xml.gz2004-11-09 14:30 1.5K 
[ ]Cauchy_fun_seq2_seq_IR.con.types.xml.gz2004-11-09 14:30 778  
[ ]Cauchy_fun_seq2_seq_IR.con.xml.gz2004-11-09 14:30 344  
[ ]Cauchy_fun_seq2_wd_IR.con.body.xml.gz2004-11-09 14:30 1.7K 
[ ]Cauchy_fun_seq2_wd_IR.con.types.xml.gz2004-11-09 14:30 955  
[ ]Cauchy_fun_seq2_wd_IR.con.xml.gz2004-11-09 14:30 465  
[ ]Cauchy_fun_seq_IR.con.body.xml.gz2004-11-09 14:30 1.4K 
[ ]Cauchy_fun_seq_IR.con.types.xml.gz2004-11-09 14:30 771  
[ ]Cauchy_fun_seq_IR.con.xml.gz2004-11-09 14:30 272  
[ ]Cauchy_fun_seq_Lim_IR.con.body.xml.gz2004-11-09 14:30 7.4K 
[ ]Cauchy_fun_seq_Lim_IR.con.types.xml.gz2004-11-09 14:30 11K 
[ ]Cauchy_fun_seq_Lim_IR.con.xml.gz2004-11-09 14:30 540  
[ ]Cauchy_fun_seq_Lim_char.con.body.xml.gz2004-11-09 14:30 5.0K 
[ ]Cauchy_fun_seq_Lim_char.con.types.xml.gz2004-11-09 14:30 18K 
[ ]Cauchy_fun_seq_Lim_char.con.xml.gz2004-11-09 14:30 1.5K 
[ ]Cauchy_fun_seq_seq2_IR.con.body.xml.gz2004-11-09 14:30 1.5K 
[ ]Cauchy_fun_seq_seq2_IR.con.types.xml.gz2004-11-09 14:30 778  
[ ]Cauchy_fun_seq_seq2_IR.con.xml.gz2004-11-09 14:30 346  
[ ]Cauchy_fun_seq_wd_IR.con.body.xml.gz2004-11-09 14:30 2.1K 
[ ]Cauchy_fun_seq_wd_IR.con.types.xml.gz2004-11-09 14:30 1.3K 
[ ]Cauchy_fun_seq_wd_IR.con.xml.gz2004-11-09 14:30 699  
[ ]Continuous_FSeries_Sum.con.body.xml.gz2004-11-09 14:31 5.9K 
[ ]Continuous_FSeries_Sum.con.types.xml.gz2004-11-09 14:31 9.2K 
[ ]Continuous_FSeries_Sum.con.xml.gz2004-11-09 14:31 569  
[DIR]Convergence_Criteria/2005-07-05 08:13 -  
[DIR]Convergence_Results/2005-07-05 08:13 -  
[DIR]Definitions/2005-07-05 08:13 -  
[ ]FLim_unique_IR.con.body.xml.gz2004-11-09 14:30 2.3K 
[ ]FLim_unique_IR.con.types.xml.gz2004-11-09 14:30 2.3K 
[ ]FLim_unique_IR.con.xml.gz2004-11-09 14:30 1.1K 
[ ]FSeries_Sum.con.body.xml.gz2004-11-09 14:31 633  
[ ]FSeries_Sum.con.types.xml.gz2004-11-09 14:31 612  
[ ]FSeries_Sum.con.xml.gz2004-11-09 14:31 520  
[ ]FSeries_Sum_char.con.body.xml.gz2004-11-09 14:31 5.8K 
[ ]FSeries_Sum_char.con.types.xml.gz2004-11-09 14:31 16K 
[ ]FSeries_Sum_char.con.xml.gz2004-11-09 14:31 1.3K 
[ ]FSeries_Sum_inv.con.body.xml.gz2004-11-09 14:31 4.5K 
[ ]FSeries_Sum_inv.con.types.xml.gz2004-11-09 14:31 5.7K 
[ ]FSeries_Sum_inv.con.xml.gz2004-11-09 14:31 1.2K 
[ ]FSeries_Sum_inv_conv.con.body.xml.gz2004-11-09 14:31 1.2K 
[ ]FSeries_Sum_inv_conv.con.types.xml.gz2004-11-09 14:31 1.8K 
[ ]FSeries_Sum_inv_conv.con.xml.gz2004-11-09 14:31 694  
[ ]FSeries_Sum_minus.con.body.xml.gz2004-11-09 14:31 5.3K 
[ ]FSeries_Sum_minus.con.types.xml.gz2004-11-09 14:31 6.9K 
[ ]FSeries_Sum_minus.con.xml.gz2004-11-09 14:31 1.3K 
[ ]FSeries_Sum_minus_conv.con.body.xml.gz2004-11-09 14:31 1.3K 
[ ]FSeries_Sum_minus_conv.con.types.xml.gz2004-11-09 14:31 1.9K 
[ ]FSeries_Sum_minus_conv.con.xml.gz2004-11-09 14:31 737  
[ ]FSeries_Sum_plus.con.body.xml.gz2004-11-09 14:31 5.6K 
[ ]FSeries_Sum_plus.con.types.xml.gz2004-11-09 14:31 7.6K 
[ ]FSeries_Sum_plus.con.xml.gz2004-11-09 14:31 1.4K 
[ ]FSeries_Sum_plus_conv.con.body.xml.gz2004-11-09 14:31 1.3K 
[ ]FSeries_Sum_plus_conv.con.types.xml.gz2004-11-09 14:31 2.0K 
[ ]FSeries_Sum_plus_conv.con.xml.gz2004-11-09 14:31 782  
[ ]FSeries_Sum_scal.con.body.xml.gz2004-11-09 14:31 5.1K 
[ ]FSeries_Sum_scal.con.types.xml.gz2004-11-09 14:31 6.8K 
[ ]FSeries_Sum_scal.con.xml.gz2004-11-09 14:31 1.1K 
[ ]FSeries_Sum_scal_conv.con.body.xml.gz2004-11-09 14:31 1.4K 
[ ]FSeries_Sum_scal_conv.con.types.xml.gz2004-11-09 14:31 1.8K 
[ ]FSeries_Sum_scal_conv.con.xml.gz2004-11-09 14:31 680  
[ ]FSeries_Sum_strext_IR.con.body.xml.gz2004-11-09 14:31 11K 
[ ]FSeries_Sum_strext_IR.con.types.xml.gz2004-11-09 14:31 27K 
[ ]FSeries_Sum_strext_IR.con.xml.gz2004-11-09 14:31 1.1K 
[ ]FSeries_Sum_wd'.con.body.xml.gz2004-11-09 14:31 2.9K 
[ ]FSeries_Sum_wd'.con.types.xml.gz2004-11-09 14:31 3.2K 
[ ]FSeries_Sum_wd'.con.xml.gz2004-11-09 14:31 709  
[ ]FSeries_Sum_zero_IR.con.body.xml.gz2004-11-09 14:31 2.5K 
[ ]FSeries_Sum_zero_IR.con.types.xml.gz2004-11-09 14:31 7.2K 
[ ]FSeries_Sum_zero_IR.con.xml.gz2004-11-09 14:31 2.2K 
[ ]FSeries_conv.con.body.xml.gz2004-11-09 14:31 6.4K 
[ ]FSeries_conv.con.types.xml.gz2004-11-09 14:31 7.2K 
[ ]FSeries_conv.con.xml.gz2004-11-09 14:31 1.0K 
[ ]INDEX2005-07-05 08:11 5.1K 
[DIR]Insert_Series/2005-07-05 08:13 -  
[DIR]Irrelevance_of_Proofs/2005-07-05 08:13 -  
[DIR]More_Algebraic_Properties/2005-07-05 08:13 -  
[DIR]More_Definitions/2005-07-05 08:13 -  
[DIR]More_Properties/2005-07-05 08:13 -  
[DIR]More_Series_Definitions/2005-07-05 08:13 -  
[DIR]Operations/2005-07-05 08:13 -  
[DIR]Series_Definitions/2005-07-05 08:13 -  
[ ]abs_imp_conv_IR.con.body.xml.gz2004-11-09 14:31 2.8K 
[ ]abs_imp_conv_IR.con.types.xml.gz2004-11-09 14:31 3.5K 
[ ]abs_imp_conv_IR.con.xml.gz2004-11-09 14:31 454  
[ ]conv_Cauchy_fun_seq'_IR.con.body.xml.gz2004-11-09 14:30 1.6K 
[ ]conv_Cauchy_fun_seq'_IR.con.types.xml.gz2004-11-09 14:30 847  
[ ]conv_Cauchy_fun_seq'_IR.con.xml.gz2004-11-09 14:30 359  
[ ]conv_Cauchy_fun_seq_IR.con.body.xml.gz2004-11-09 14:30 1.6K 
[ ]conv_Cauchy_fun_seq_IR.con.types.xml.gz2004-11-09 14:30 1.1K 
[ ]conv_Cauchy_fun_seq_IR.con.xml.gz2004-11-09 14:30 457  
[ ]conv_fun_const_series_IR.con.body.xml.gz2004-11-09 14:31 1.4K 
[ ]conv_fun_const_series_IR.con.types.xml.gz2004-11-09 14:31 1.9K 
[ ]conv_fun_const_series_IR.con.xml.gz2004-11-09 14:31 1.0K 
[ ]conv_fun_seq'_IR.con.body.xml.gz2004-11-09 14:30 1.5K 
[ ]conv_fun_seq'_IR.con.types.xml.gz2004-11-09 14:30 840  
[ ]conv_fun_seq'_IR.con.xml.gz2004-11-09 14:30 279  
[ ]conv_fun_seq'_wd_IR.con.body.xml.gz2004-11-09 14:30 1.9K 
[ ]conv_fun_seq'_wd_IR.con.types.xml.gz2004-11-09 14:30 1.0K 
[ ]conv_fun_seq'_wd_IR.con.xml.gz2004-11-09 14:30 503  
[ ]conv_fun_seq'_wdl'_IR.con.body.xml.gz2004-11-09 14:30 12K 
[ ]conv_fun_seq'_wdl'_IR.con.types.xml.gz2004-11-09 14:30 9.7K 
[ ]conv_fun_seq'_wdl'_IR.con.xml.gz2004-11-09 14:30 742  
[ ]conv_fun_seq'_wdl_IR.con.body.xml.gz2004-11-09 14:30 12K 
[ ]conv_fun_seq'_wdl_IR.con.types.xml.gz2004-11-09 14:30 9.8K 
[ ]conv_fun_seq'_wdl_IR.con.xml.gz2004-11-09 14:30 740  
[ ]conv_fun_seq'_wdr'_IR.con.body.xml.gz2004-11-09 14:30 2.0K 
[ ]conv_fun_seq'_wdr'_IR.con.types.xml.gz2004-11-09 14:30 1.0K 
[ ]conv_fun_seq'_wdr'_IR.con.xml.gz2004-11-09 14:30 617  
[ ]conv_fun_seq'_wdr_IR.con.body.xml.gz2004-11-09 14:30 2.1K 
[ ]conv_fun_seq'_wdr_IR.con.types.xml.gz2004-11-09 14:30 1.1K 
[ ]conv_fun_seq'_wdr_IR.con.xml.gz2004-11-09 14:30 616  
[ ]conv_fun_seq_IR.con.body.xml.gz2004-11-09 14:30 1.4K 
[ ]conv_fun_seq_IR.con.types.xml.gz2004-11-09 14:30 766  
[ ]conv_fun_seq_IR.con.xml.gz2004-11-09 14:30 267  
[ ]conv_fun_seq_wd_IR.con.body.xml.gz2004-11-09 14:30 1.6K 
[ ]conv_fun_seq_wd_IR.con.types.xml.gz2004-11-09 14:30 2.4K 
[ ]conv_fun_seq_wd_IR.con.xml.gz2004-11-09 14:30 457  
[ ]conv_zero_fun_series_IR.con.body.xml.gz2004-11-09 14:31 608  
[ ]conv_zero_fun_series_IR.con.types.xml.gz2004-11-09 14:31 225  
[ ]conv_zero_fun_series_IR.con.xml.gz2004-11-09 14:31 817  
[ ]convergent_imp_Continuous.con.body.xml.gz2004-11-09 14:31 3.7K 
[ ]convergent_imp_Continuous.con.types.xml.gz2004-11-09 14:31 4.0K 
[ ]convergent_imp_Continuous.con.xml.gz2004-11-09 14:31 583  
[ ]convergent_imp_inc.con.body.xml.gz2004-11-09 14:31 3.3K 
[ ]convergent_imp_inc.con.types.xml.gz2004-11-09 14:31 4.3K 
[ ]convergent_imp_inc.con.xml.gz2004-11-09 14:31 934  
[ ]fun_Cauchy_prop_const_IR.con.body.xml.gz2004-11-09 14:30 1.1K 
[ ]fun_Cauchy_prop_const_IR.con.types.xml.gz2004-11-09 14:30 831  
[ ]fun_Cauchy_prop_const_IR.con.xml.gz2004-11-09 14:30 944  
[ ]fun_Cauchy_prop_inv.con.body.xml.gz2004-11-09 14:30 1.8K 
[ ]fun_Cauchy_prop_inv.con.types.xml.gz2004-11-09 14:30 747  
[ ]fun_Cauchy_prop_inv.con.xml.gz2004-11-09 14:30 1.0K 
[ ]fun_Cauchy_prop_minus.con.body.xml.gz2004-11-09 14:30 2.1K 
[ ]fun_Cauchy_prop_minus.con.types.xml.gz2004-11-09 14:30 881  
[ ]fun_Cauchy_prop_minus.con.xml.gz2004-11-09 14:30 1.1K 
[ ]fun_Cauchy_prop_mult.con.body.xml.gz2004-11-09 14:30 2.0K 
[ ]fun_Cauchy_prop_mult.con.types.xml.gz2004-11-09 14:30 834  
[ ]fun_Cauchy_prop_mult.con.xml.gz2004-11-09 14:30 1.0K 
[ ]fun_Cauchy_prop_plus.con.body.xml.gz2004-11-09 14:30 2.3K 
[ ]fun_Cauchy_prop_plus.con.types.xml.gz2004-11-09 14:30 914  
[ ]fun_Cauchy_prop_plus.con.xml.gz2004-11-09 14:30 1.2K 
[ ]fun_Lim_seq_const_IR.con.body.xml.gz2004-11-09 14:30 15K 
[ ]fun_Lim_seq_const_IR.con.types.xml.gz2004-11-09 14:30 16K 
[ ]fun_Lim_seq_const_IR.con.xml.gz2004-11-09 14:30 1.0K 
[ ]fun_Lim_seq_inv_IR.con.body.xml.gz2004-11-09 14:30 6.6K 
[ ]fun_Lim_seq_inv_IR.con.types.xml.gz2004-11-09 14:30 7.7K 
[ ]fun_Lim_seq_inv_IR.con.xml.gz2004-11-09 14:30 1.5K 
[ ]fun_Lim_seq_minus'_IR.con.body.xml.gz2004-11-09 14:30 2.8K 
[ ]fun_Lim_seq_minus'_IR.con.types.xml.gz2004-11-09 14:30 2.3K 
[ ]fun_Lim_seq_minus'_IR.con.xml.gz2004-11-09 14:30 1.4K 
[ ]fun_Lim_seq_minus_IR.con.body.xml.gz2004-11-09 14:30 9.5K 
[ ]fun_Lim_seq_minus_IR.con.types.xml.gz2004-11-09 14:30 12K 
[ ]fun_Lim_seq_minus_IR.con.xml.gz2004-11-09 14:30 1.6K 
[ ]fun_Lim_seq_mult'_IR.con.body.xml.gz2004-11-09 14:30 2.7K 
[ ]fun_Lim_seq_mult'_IR.con.types.xml.gz2004-11-09 14:30 2.2K 
[ ]fun_Lim_seq_mult'_IR.con.xml.gz2004-11-09 14:30 1.3K 
[ ]fun_Lim_seq_mult_IR.con.body.xml.gz2004-11-09 14:30 9.2K 
[ ]fun_Lim_seq_mult_IR.con.types.xml.gz2004-11-09 14:30 11K 
[ ]fun_Lim_seq_mult_IR.con.xml.gz2004-11-09 14:30 1.5K 
[ ]fun_Lim_seq_plus'_IR.con.body.xml.gz2004-11-09 14:30 2.9K 
[ ]fun_Lim_seq_plus'_IR.con.types.xml.gz2004-11-09 14:30 2.5K 
[ ]fun_Lim_seq_plus'_IR.con.xml.gz2004-11-09 14:30 1.6K 
[ ]fun_Lim_seq_plus_IR.con.body.xml.gz2004-11-09 14:30 9.9K 
[ ]fun_Lim_seq_plus_IR.con.types.xml.gz2004-11-09 14:30 12K 
[ ]fun_Lim_seq_plus_IR.con.xml.gz2004-11-09 14:30 1.8K 
[ ]fun_comparison_IR.con.body.xml.gz2004-11-09 14:31 4.0K 
[ ]fun_comparison_IR.con.types.xml.gz2004-11-09 14:31 2.3K 
[ ]fun_comparison_IR.con.xml.gz2004-11-09 14:31 2.0K 
[ ]fun_const_Lim.con.body.xml.gz2004-11-09 14:31 205K 
[ ]fun_const_Lim.con.types.xml.gz2004-11-09 14:31 323K 
[ ]fun_const_Lim.con.xml.gz2004-11-09 14:31 2.3K 
[ ]fun_const_series_Sum_IR.con.body.xml.gz2004-11-09 14:31 2.9K 
[ ]fun_const_series_Sum_IR.con.types.xml.gz2004-11-09 14:31 6.6K 
[ ]fun_const_series_Sum_IR.con.xml.gz2004-11-09 14:31 2.2K 
[ ]fun_ratio_test_conv_IR.con.body.xml.gz2004-11-09 14:31 45K 
[ ]fun_ratio_test_conv_IR.con.types.xml.gz2004-11-09 14:31 10K 
[ ]fun_ratio_test_conv_IR.con.xml.gz2004-11-09 14:31 3.6K 
[ ]fun_series_abs_convergent_IR.con.body.xml.gz2004-11-09 14:31 565  
[ ]fun_series_abs_convergent_IR.con.types.xml.gz2004-11-09 14:31 235  
[ ]fun_series_abs_convergent_IR.con.xml.gz2004-11-09 14:31 288  
[ ]fun_series_conv_imp_conv_IR.con.body.xml.gz2004-11-09 14:31 1.3K 
[ ]fun_series_conv_imp_conv_IR.con.types.xml.gz2004-11-09 14:31 2.5K 
[ ]fun_series_conv_imp_conv_IR.con.xml.gz2004-11-09 14:31 1.2K 
[ ]fun_series_convergent_IR.con.body.xml.gz2004-11-09 14:31 1.1K 
[ ]fun_series_convergent_IR.con.types.xml.gz2004-11-09 14:31 228  
[ ]fun_series_convergent_IR.con.xml.gz2004-11-09 14:31 277  
[ ]fun_series_convergent_wd_IR.con.body.xml.gz2004-11-09 14:31 1.7K 
[ ]fun_series_convergent_wd_IR.con.types.xml.gz2004-11-09 14:31 1.7K 
[ ]fun_series_convergent_wd_IR.con.xml.gz2004-11-09 14:31 681  
[ ]fun_series_inc_IR.con.body.xml.gz2004-11-09 14:31 3.1K 
[ ]fun_series_inc_IR.con.types.xml.gz2004-11-09 14:31 4.3K 
[ ]fun_series_inc_IR.con.xml.gz2004-11-09 14:31 856  
[ ]fun_str_comparison_IR.con.body.xml.gz2004-11-09 14:31 10K 
[ ]fun_str_comparison_IR.con.types.xml.gz2004-11-09 14:31 4.0K 
[ ]fun_str_comparison_IR.con.xml.gz2004-11-09 14:31 2.3K 
[ ]funseq_conv.con.body.xml.gz2004-11-09 14:30 12K 
[ ]funseq_conv.con.types.xml.gz2004-11-09 14:30 11K 
[ ]funseq_conv.con.xml.gz2004-11-09 14:30 1.4K 
[ ]insert_series.con.body.xml.gz2004-11-09 14:31 1.0K 
[ ]insert_series.con.types.xml.gz2004-11-09 14:31 208  
[ ]insert_series.con.xml.gz2004-11-09 14:31 565  
[ ]insert_series_cont.con.body.xml.gz2004-11-09 14:31 1.0K 
[ ]insert_series_cont.con.types.xml.gz2004-11-09 14:31 1.2K 
[ ]insert_series_cont.con.xml.gz2004-11-09 14:31 504  
[ ]insert_series_conv.con.body.xml.gz2004-11-09 14:31 29K 
[ ]insert_series_conv.con.types.xml.gz2004-11-09 14:31 53K 
[ ]insert_series_conv.con.xml.gz2004-11-09 14:31 366  
[ ]insert_series_sum.con.body.xml.gz2004-11-09 14:31 24K 
[ ]insert_series_sum.con.types.xml.gz2004-11-09 14:31 30K 
[ ]insert_series_sum.con.xml.gz2004-11-09 14:31 498  
[ ]insert_series_sum_char.con.body.xml.gz2004-11-09 14:31 7.2K 
[ ]insert_series_sum_char.con.types.xml.gz2004-11-09 14:31 17K 
[ ]insert_series_sum_char.con.xml.gz2004-11-09 14:31 1.6K 
[ ]seq_to_funseq.con.body.xml.gz2004-11-09 14:30 860  
[ ]seq_to_funseq.con.types.xml.gz2004-11-09 14:30 211  
[ ]seq_to_funseq.con.xml.gz2004-11-09 14:30 705  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80