{"id":"W1549231341","doi":"10.1109/ccece.1996.548100","title":"New algorithms for the exact computation of the sign of algebraic expressions","year":2002,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Algorithm; Sign (mathematics); Floating point; Computation; Algebraic number; Mathematics; Algebraic operation; Upper and lower bounds; Computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002204551,0.0000734823,0.0001305117,0.00002182315,0.000100198,0.0000232248,0.0007446692,0.0000270504,0.00005225928],"category_scores_gemma":[0.00008784718,0.00003342394,0.0001203461,0.0003470928,0.00004954899,0.0001099916,0.0001449105,0.00005842617,0.000002436072],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005281856,"about_ca_system_score_gemma":0.00001885873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005579166,"about_ca_topic_score_gemma":4.509321e-7,"domain_scores_codex":[0.9992072,0.00008581844,0.0002192511,0.0001516246,0.0002084411,0.0001276887],"domain_scores_gemma":[0.9985415,0.0008595863,0.0001363526,0.0003535954,0.00006484392,0.00004406464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[9.363065e-7,0.00004194702,0.00001214733,0.000006039831,0.00001219979,9.321099e-8,0.0003189044,0.0004082458,0.002491343,0.01398865,0.002996745,0.9797227],"study_design_scores_gemma":[0.0003494288,0.0001256969,0.001421516,0.00003037656,0.00001258339,0.000003233044,0.00006019553,0.9366331,0.02536071,0.03369447,0.002214024,0.00009474431],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001237891,0.0001971102,0.9962626,0.002146548,0.0003068346,0.0002484704,0.000001903307,0.00002414854,0.0006886659],"genre_scores_gemma":[0.1256289,0.00001093627,0.8732983,0.000188175,0.0000596688,0.000009801318,1.17219e-7,0.000004991168,0.0007990156],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.979628,"threshold_uncertainty_score":0.1383793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06079224044610092,"score_gpt":0.308761417173449,"score_spread":0.2479691767273481,"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."}}