Library AreaMethod.py_elimination_lemmas

Library AreaMethod.pythagoras_difference_lemmas

Library AreaMethod.pythagoras_difference

Library AreaMethod.euclidean_constructions_2

Library AreaMethod.euclidean_constructions

Library AreaMethod.construction_lemmas_2

Library AreaMethod.ratios_elimination_lemmas

Library AreaMethod.advanced_parallel_lemmas

Library AreaMethod.free_points_elimination

Library AreaMethod.constructed_points_elimination

Library AreaMethod.simplify_constructions

Library AreaMethod.examples_centroid

Library AreaMethod.examples_circumcenter

Library AreaMethod.examples_interactive

Library AreaMethod.examples_6

Library AreaMethod.examples_5

Library AreaMethod.examples_4

Library AreaMethod.examples_3

Library AreaMethod.examples_2

Library AreaMethod.examples_1

Library AreaMethod.tests_elimination_tactics_py

Library AreaMethod.tests_elimination_tactics_ratios

Library AreaMethod.tests_elimination_tactics_areas

Library AreaMethod.area_method

Library AreaMethod.Rgeometry_tools

Library AreaMethod.parallel_lemmas

Library AreaMethod.my_field_tac

Library AreaMethod.geometry_tools

Library AreaMethod.geometry_tools_lemmas

Library AreaMethod.general_tactics

Library AreaMethod.freepoints

Library AreaMethod.field_variable_isolation_tactic

Library AreaMethod.field

Library AreaMethod.field_general_properties

Library AreaMethod.area_coords_elimination

Library AreaMethod.area_coords_constructions

Library AreaMethod.area_elimination_lemmas

Library AreaMethod.elimination_prepare

Library AreaMethod.construction_tactics

Library AreaMethod.construction_lemmas

Library AreaMethod.basic_geometric_facts

Library AreaMethod.chou_gao_zhang_axioms

Library AreaMethod.bench_normalization_tactics