{"id":"W2088713140","doi":"10.1016/j.jsc.2012.05.008","title":"On the complexity of computing with zero-dimensional triangular sets","year":2012,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Modular design; Degree (music); Dimension (graph theory); Inverse; Zero (linguistics); Las vegas; Field (mathematics); Algebraic number; Computation; Finite field; Set (abstract data type); Discrete mathematics; Algorithm; Combinatorics; Pure mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003287916,0.001021751,0.002219532,0.001476259,0.003062271,0.008925815,0.004190213,0.002364407,0.02001813],"category_scores_gemma":[0.03770545,0.0008768996,0.002191471,0.003980455,0.004797115,0.02402366,0.005965099,0.004912829,0.001783171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005350504,"about_ca_system_score_gemma":0.004914111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006946403,"about_ca_topic_score_gemma":0.01123672,"domain_scores_codex":[0.9928895,0.001657926,0.0005111529,0.001126004,0.002559618,0.001255807],"domain_scores_gemma":[0.9392737,0.0496728,0.001747053,0.006412153,0.001893938,0.001000302],"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.002871283,0.0004931856,0.007297136,0.0008722878,0.0002082379,0.0004611767,0.001515855,0.152301,0.005250041,0.7029656,0.02271586,0.1030485],"study_design_scores_gemma":[0.0001114384,0.00005715279,0.0005682008,0.00004660842,0.00006243584,0.00009617792,0.000243621,0.1933473,0.00186849,0.8016877,0.001870879,0.00003994579],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6391321,0.002679792,0.252518,0.01677293,0.000583472,0.0004031723,0.003643966,0.002180946,0.08208562],"genre_scores_gemma":[0.9318899,0.0008671319,0.05496813,0.0006251795,0.0004634812,0.0002290118,0.002023565,0.0003978924,0.008535739],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02001813,"threshold_uncertainty_score":0.06696731,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03761755709077252,"score_gpt":0.2682194969239669,"score_spread":0.2306019398331944,"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."}}