{"id":"W4412544362","doi":"10.1007/978-3-031-98685-7_20","title":"PyEuclid: A Versatile Formal Plane Geometry System in Python","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Computational Physics and Python Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Python (programming language); Computer science; Programming language; Geometry; Computer graphics (images); Engineering drawing; Mathematics; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001446221,0.001124339,0.0008319534,0.0012224,0.0007224067,0.003142141,0.004670548,0.0009566753,0.03895347],"category_scores_gemma":[0.004035982,0.001108201,0.001759649,0.0008897849,0.001768092,0.004607516,0.004542063,0.003154784,0.01712691],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001389063,"about_ca_system_score_gemma":0.003067103,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002808031,"about_ca_topic_score_gemma":0.003501912,"domain_scores_codex":[0.9989172,0.0001637162,0.000102365,0.0001889244,0.0005153366,0.000112391],"domain_scores_gemma":[0.9990563,0.000348946,0.00006584341,0.0002636584,0.0001878918,0.0000773287],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000387272,0.0001965028,0.001824562,0.001661438,0.0001163081,0.0006672534,0.0005973992,0.04685236,0.01566911,0.468297,0.2018588,0.2618719],"study_design_scores_gemma":[0.0001969004,0.00006217137,0.0005904249,0.0002627692,0.0000451203,0.0007833244,0.0001101302,0.1997072,0.01923815,0.2650316,0.5138233,0.0001489003],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001847935,0.0001634779,0.8784868,0.0003075688,0.000111194,0.0001521966,0.003575671,0.1038127,0.0115425],"genre_scores_gemma":[0.08318337,0.0008812164,0.8384328,0.0009378308,0.0001170661,0.001187005,0.01596854,0.03605359,0.02323854],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03895347,"threshold_uncertainty_score":0.1303123,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01039662739688456,"score_gpt":0.2369556775953129,"score_spread":0.2265590501984284,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}