geo_logic:欧氏几何了解逻辑的工具
需积分: 11 70 浏览量
2021-05-08
15:39:38
上传
评论
收藏 952KB ZIP 举报
geo_logic:欧氏几何了解逻辑的工具 （119个子文件） 
llncs.cls 42KB macros.gl 30KB basic.gl 5KB imo-2019-2.gl 3KB mks-2020-4-4.gl 2KB imo-2010-2.gl 2KB mks-2020-4-8.gl 2KB pascal.gl 2KB imo-2010-4.gl 2KB pascal_out.gl 2KB mks-2020-4-4.gl 2KB mks-2020-4-7.gl 2KB mks-2020-4-8.gl 1KB imo-2010-2.gl 1KB imo-2010-4.gl 1KB pascal.gl 1KB simson.gl 1KB mks-2020-4-2.gl 1KB mks-2020-4-5.gl 1KB mks-2020-4-7.gl 1KB imo-2019-2.gl 1KB mks-2020-4-2.gl 1KB simson.gl 1KB mks-2020-4-5.gl 907B midpoint_arc.gl 897B flower.gl 885B magic.gl 784B euler-line.gl 767B homothety.gl 761B homothety.gl 688B euler-line.gl 674B debug.gl 648B flower.gl 610B README.md 6KB
simson5.pdf 40KB simson4.pdf 39KB simson3.pdf 31KB simson2a.pdf 20KB simson2b.pdf 19KB simson1.pdf 11KB geo_logic.pdf 363KB logic_system.pdf 186KB
screenshot.png 88KB screenshot.png 88KB line.png 8KB circle.png 8KB perpline.png 8KB circumcircle.png 8KB reason.png 8KB point.png 7KB label.png 7KB unhide.png 6KB hide.png 6KB basic.png 6KB move.png 1KB circle.png 1KB circumcircle.png 1KB hide.png 1KB reason.png 1KB line.png 634B perpline.png 616B label.png 547B point.png 399B white.png 316B knowledge_visualisation.py 45KB gtool_standalone.py 35KB gtool_constr.py 23KB viewport.py 22KB sparse_elim.py 19KB gtool.py 15KB triggers.py 14KB geo_logic.py 13KB movable_tools.py 11KB gui_tool_icons.py 10KB gtool_logic.py 9KB parse.py 9KB tool_step.py 9KB toolbar.py 8KB graphical_env.py 7KB geo_object.py 7KB gtool_label.py 7KB tools.py 7KB logical_core.py 6KB angle_chasing.py 6KB step_list.py 6KB label_visualiser.py 6KB view_port_ori.py 5KB primitive_tools.py 5KB uf_dict.py 5KB tool_step_utils.py 4KB cairo_textedit.py 4KB gtool_general.py 3KB basic_tools.py 3KB file_chooser.py 3KB relstr.py 3KB stop_watch.py 2KB sparse_row.py 2KB primitive_constr.py 2KB segment_union_diff.py 2KB uf_set.py 1KB共 119 条
- 1
- 2
评论0