{"id":"W2995572343","doi":"10.1145/3377006.3377014","title":"Bit complexity for critical point computation in smooth and compact real hypersurfaces","year":2019,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hypersurface; Jacobian matrix and determinant; Mathematics; Extension (predicate logic); Polynomial; Projection (relational algebra); Rank (graph theory); Algebraic number; Discrete mathematics; Algebra over a field; Pure mathematics; Algorithm; Computer science; Mathematical analysis; Applied mathematics; Combinatorics","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.002816876,0.0007104205,0.001283678,0.002643166,0.001086709,0.003328459,0.001734765,0.001006008,0.005089826],"category_scores_gemma":[0.02172813,0.0004670824,0.0009067221,0.0017013,0.004063959,0.008239667,0.003745139,0.002460658,0.0005112615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002393486,"about_ca_system_score_gemma":0.001036972,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001305755,"about_ca_topic_score_gemma":0.001097674,"domain_scores_codex":[0.9978201,0.0005077659,0.0001403661,0.0003265921,0.000810272,0.0003948932],"domain_scores_gemma":[0.9824961,0.01250484,0.001186253,0.002130005,0.001063765,0.0006190583],"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.0007891066,0.00007534093,0.005997201,0.000306849,0.00007383299,0.000172844,0.0004570968,0.1590081,0.007207782,0.7943396,0.002601421,0.02897087],"study_design_scores_gemma":[0.0000218138,0.00006108009,0.0009295797,0.0000212632,0.00001883998,0.0000567328,0.00004630935,0.4920014,0.002808899,0.5033761,0.0006273398,0.00003061649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4182656,0.0006676275,0.5708858,0.001120527,0.00005577553,0.0001094627,0.0004919976,0.0006094832,0.007793849],"genre_scores_gemma":[0.9477969,0.0002959768,0.04896455,0.0001004278,0.00009942624,0.00015799,0.0004655441,0.0001783698,0.001940824],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005089826,"threshold_uncertainty_score":0.01736605,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06155402739645428,"score_gpt":0.337018664761806,"score_spread":0.2754646373653517,"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."}}