影像学源码

rule_70072 15 0 ZIP 2021-02-09 17:02:58

影像学

文件列表

googology-master.zip (预估有个93文件)

googology-master

2019

Y_Sequence_Hexirp_Edition_2.1.txt 22KB

Variants_of_TWH.txt 4KB

DPN_Form_1.png 35KB

Y_Sequence_Hexirp_Edition_1.1.1.txt 22KB

Analysis_of_BMS.txt 61KB

DPN_Form_2.png 20KB

Bachmann_psi_recasted_by_Rathjen.hs 10KB

first_half_of_2019.md 11KB

Memo_of_Rathjen_psi.txt 5KB

Memo_of_Ordinal_Diagram.txt 2KB

Definition_of_Y_Sequence.txt 406B

Bashicu.hs 4KB

Y_Sequence_Hexirp_Edition_0.0.txt 19KB

Y_Sequence_Hexirp_Edition_2.0.txt 22KB

Extensions_of_Hyperoperation.txt 16KB

Programming_in_Googology.txt 1KB

2019-12-30_Factorial_of_ordinal.txt 2KB

Reading_Googologic_Haunted_House_Number.txt 9KB

Reading_Ordinal_Notations_Based_on_a_Weakly_Mahlo_Cardinal.txt 17KB

Memo_of_p-adic_daisuki_bot_loyality_collapsing_function.txt 11KB

2019-12-03_Y_Sequence_Thesis.txt 1KB

Analyze_Ordinals_by_Ordinals.txt 15KB

Analysis_of_BMS_3.txt 83KB

TransWeakHyper.txt 2KB

Y_Sequence_Hexirp_Edition_1.1.txt 22KB

v1.1_1.png 41KB

Analysis_of_Transfinite_Hyperoperation.txt 21KB

v1.0_2.png 35KB

Variants_of_FGH.txt 14KB

Analysis_of_BMS_2.txt 63KB

2019-10-30_Found_A_Bug_of_YHSeq.txt 2KB

Talk_about_ordinal_notations.txt 14KB

Second_Order_Ordinal_Theory.txt 5KB

Program_of_TransWeakHyper.hs 4KB

Analysis_of_i_LoVe_Ordinal.txt 64KB

cantor_ordinal_in_coq.v 12KB

Y_Sequence_Hexirp_Edition.txt 15KB

Variants_of_Brakets.txt 4KB

Expansion_of_TON.txt 7KB

Y_Sequence_Hexirp_Edition_1.0.txt 19KB

Definitions_of_Silane_Number_of_the_2-Modified_4th_Form.txt 10KB

Hyper.hs 2KB

Bachmann_psi_recasted_by_Rathjen.txt 23KB

Analysis_of_Variants_of_TWH.txt 27KB

v1.0_1.png 45KB

2021-02-04_The_Bashicu_Matrix_System_and_Normal_Functions.mediawiki 5KB

2020

2020-07-10_My_Choices.mediawiki 3KB

2020-05-30_Notebook.mediawiki 1KB

2020-09-26_TeXclip_and_Copyright.mediawiki 2KB

2020-11-01_Functional_OCFs.mediawiki 5KB

2020-05-07_Thinking_about_Googology.mediawiki 76B

2020-06-01_Notebook.mediawiki 3KB

2020-09-19_analysis_of_lambda_zip.lm.txt 167B

2020-03-26_What_is_an_insertion_rule.mediawiki 10KB

2020-06-14_Notebook.mediawiki 877B

2020-03-18_Ternary_Parenthesis.txt 3KB

2020-07-17_Analysis_of_lambda_3.mediawiki 10KB

2020-05-22_Kajogaki.mediawiki 5KB

2020-10-14_Originality_of_YH_Sequence_System.mediawiki 1KB

2020-07-09_YH_Sequence_System.mediawiki 26KB

2020-05-16_Toward_a_Definition_of_an_Ordinal_Notation_with_Weakly_Mahlo_Cardinals.mediawiki 6KB

2020-05-05_Consistency_Strength_of_pCIC.mediawiki 3KB

2020-09-05_Buchmann's_function_recasted_by_Rathjen.mediawiki 9KB

2020-05-03_Computable_Function_and_Typed_Lambda_Calculus.mediawiki 15KB

2020-04-04_Analysis_of_Bashicu_Matrix_System.mediawiki 155KB

2020-07-02_DPN_Form.html 1KB

2020-08-22_Why_I_do_not_use_Math.mediawiki 3KB

2020-06-26_Analysis.mediawiki 9KB

2020-07-03_Infinite_Loop_of_Y_Sequence_Hexirp_Edition_2.1.mediawiki 5KB

2020-04-07_What_is_crossing_necks.mediawiki 2KB

2020-04-17_A_Scribbling.mediawiki 4KB

2020-07-26_Catching_Cardinal.mediawiki 385B

2020-05-05_What_is_I_WIN.mediawiki 2KB

2020-04-10_What_is_6.mediawiki 4KB

2020-05-06_Impredicativity_and_Type_Theory.mediawiki 5KB

2020-10-23_What_is_the_best_way_to_write_Mr._Rathjen%27s_name_in_Japanese%3F.mediawiki 19KB

2020-11-20_ordinal_collapsing_functions_with_Shifting_Definition.mediawiki 13KB

2020-08-27_the_Brilliance_Life_Number.mediawiki 7KB

2020-08-27_Outer_Notation_of_YHSS.mediawiki 1KB

2020-05-15_Memo_of_Strong_Normalization_for_the_Calculus_of_Construction.mediawiki 2KB

2020-10-06_an_analysis_of_BMS_4.mediawiki 26KB

2020-08-22_Handwritten_Harvard_Referencing.mediawiki 2KB

2020-03-15_Ternary_Parenthesis.txt 2KB

2020-11-08_Systematic_Naming_to_Ordinal_Numbers.mediawiki 2KB

2020-06-02_Notebook.mediawiki 2KB

2020-04-06_Estimate_the_Analysis.mediawiki 3KB

2020-06-03_Notebook.mediawiki 1KB

2020-08-27_YHSS_2.0.1_is_completed.mediawiki 1KB

2020-09-19_analysis_of_lambda_zip.mediawiki 18KB

2020-05-31_Notebook.mediawiki 2KB

2020-07-08_Y_Sequence.mediawiki 11KB

2020-08-09_YHSS_3.0_Expansion_Examples.mediawiki 3KB

2020-04-17_Ordinal_Notation_associated_with_Veblen_Hierarchy.mediawiki 19KB

用户评论

暂无评论

遥感影像分析

图像处理与分析实验教程关于各类遥感影像的处理分析

34 2019-06-01
影像插入CAD

插入CAD影像文件，应用方便，可以使用pwg在CAD

52 2019-05-28
影像匹配.zip

Image matching.zip

26 2019-06-23
nasa影像下载

nasa网站遥感影像资源批下载bda软件

49 2019-05-02
影像导入cad

现在影像获取越来越方便，但如何引入cad是个问题，这个可解决大问题

46 2019-04-27
影像提取dem

影像提取dem利用ENVI从航空影像中提取DEM.docx

27 2019-07-16
ISO虚拟影像

WINISO创建ISO文件

18 2019-07-25
erdas影像处理

erdas软件应用，数字摄影测量影响处理，空中三角测量

22 2019-09-14
影像租赁系统

在美国，由于知识产权得到了很好的保护，所以一般不会出现盗版的问题。美国人除去在电影院看电影之外就是在影像店租碟回家去看。在信息化的背景下，设计一套影像租赁系统。里面有五张表。member，title，

43 2018-12-28
OBLOG影像日记

OBLOG 影像日记

11 2020-07-18

影像学 源码

文件列表

用户评论

推荐下载

影像学源码