{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006801856,0.0004150194,0.0004829612,0.001346209,0.00014797,0.0003006698,0.002595173,0.000229552,0.0000144214],"category_scores_gemma":[0.0000296968,0.0004218744,0.0001165316,0.001100775,0.0002213638,0.0005700087,0.001415192,0.0006978703,0.00006239186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008695801,"about_ca_system_score_gemma":0.0009904924,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008297534,"about_ca_topic_score_gemma":0.00007856243,"domain_scores_codex":[0.9967421,0.00002555153,0.0005777445,0.001245849,0.0008115358,0.0005972477],"domain_scores_gemma":[0.9976159,0.0006914128,0.0002458194,0.001144927,0.0001763597,0.0001256344],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005917472,0.00003753103,0.0000526324,0.0001119526,0.000009948344,0.00004379517,0.0004493269,0.04497975,0.00002526108,0.5601887,0.0001641795,0.393931],"study_design_scores_gemma":[0.0003412837,0.00006653582,0.0004979494,0.0005727858,0.000005890542,0.00003161661,4.506201e-7,0.8818308,0.0001069548,0.1095255,0.006486719,0.0005335577],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001151698,0.0002882381,0.9832277,0.0004028284,0.001306632,0.0004532779,0.00001618811,0.0001817812,0.01400819],"genre_scores_gemma":[0.6593817,0.00003036006,0.3371092,0.001735632,0.0006091204,0.000063173,0.00005975509,0.00004664382,0.0009642968],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.836851,"threshold_uncertainty_score":0.9998233,"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."}}