{"id":"W2895195227","doi":"10.1007/978-3-030-02149-8_22","title":"Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematical proof; Rewriting; Computer science; Relation (database); Associative property; Algebraic number; Algebra over a field; Proof assistant; Programming language; Calculus (dental); Mathematics; Pure mathematics","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.002136479,0.0007382893,0.0006792766,0.001273413,0.001438411,0.004731552,0.00250798,0.001166839,0.02556874],"category_scores_gemma":[0.01078331,0.001020608,0.0009215609,0.001843974,0.002874408,0.008607365,0.003746058,0.004512174,0.007527038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002037778,"about_ca_system_score_gemma":0.00252317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001040207,"about_ca_topic_score_gemma":0.00175648,"domain_scores_codex":[0.9979827,0.0007155779,0.0001183157,0.000280587,0.0007658525,0.00013695],"domain_scores_gemma":[0.9943485,0.004411813,0.0001098257,0.0006907505,0.0003130517,0.0001259809],"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.0000483825,0.00004419078,0.000154581,0.0002025652,0.000009414162,0.00006262067,0.0006183248,0.00288347,0.001452635,0.8792378,0.009038063,0.106248],"study_design_scores_gemma":[0.00003626011,0.00002193134,0.0001250656,0.0001808223,0.00001682862,0.0002730913,0.0001575432,0.02426785,0.008086116,0.8507735,0.1160273,0.00003374642],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009418768,0.001402251,0.888499,0.00170029,0.0003313674,0.00009237965,0.0002100374,0.007599031,0.09074688],"genre_scores_gemma":[0.3278126,0.001912668,0.6067322,0.0005497335,0.0002999601,0.0001873763,0.0005739082,0.004295137,0.05763625],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02556874,"threshold_uncertainty_score":0.085536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01831960095891187,"score_gpt":0.2545322640516191,"score_spread":0.2362126630927072,"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."}}