{"id":"W2064863907","doi":"10.1007/s11858-006-0005-0","title":"Visualisation and proof: a brief survey of philosophical perspectives","year":2007,"lang":"en","type":"article","venue":"ZDM","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":59,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; Institute for Christian Studies; University of Toronto","funders":"","keywords":"Visualization; Epistemology; Mathematics education; Computer science; Mathematics; Philosophy; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"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.008725326,0.001157257,0.002121566,0.007659645,0.002113331,0.01283709,0.002605158,0.004859707,0.005760072],"category_scores_gemma":[0.01356573,0.001326155,0.001309529,0.00918216,0.01631869,0.02184118,0.003806582,0.006193706,0.001289152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004069268,"about_ca_system_score_gemma":0.002177667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002340118,"about_ca_topic_score_gemma":0.001524532,"domain_scores_codex":[0.9947112,0.003097272,0.0004768037,0.0005301008,0.0009745699,0.000210025],"domain_scores_gemma":[0.983992,0.01364778,0.0003945069,0.0008777717,0.0008206582,0.0002672875],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002685703,0.00001992863,0.0001789003,0.000832169,0.00001195058,0.00004764026,0.0006152902,0.0004359965,0.0001601626,0.9613454,0.00360028,0.03272533],"study_design_scores_gemma":[0.00001519451,0.0000290029,0.0003066004,0.000885825,0.00001141887,0.0003250408,0.000386823,0.001606818,0.0001926399,0.8906676,0.1055416,0.00003136296],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.003396714,0.7411667,0.1806133,0.02233492,0.001420949,0.00004994151,0.0002095867,0.0001862933,0.05062157],"genre_scores_gemma":[0.1633869,0.6718568,0.1397606,0.00549097,0.01070929,0.0003078923,0.0004277112,0.0003168003,0.00774314],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.01283709,"threshold_uncertainty_score":0.04614449,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06823081109016252,"score_gpt":0.3579302879623848,"score_spread":0.2896994768722223,"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."}}