{"id":"W2149799385","doi":"10.1145/1277548.1277599","title":"Symbolic-numeric computation of implicit riquier bases for PDE","year":2007,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Sequence (biology); Computation; Symbolic computation; Polynomial; Partial differential equation; Algebra over a field; Mathematics; Differential equation; Computer science; Applied mathematics; Pure mathematics; Algorithm; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.0009239968,0.00044853,0.0006424283,0.0007604253,0.0005658104,0.001683111,0.0008859535,0.0005230398,0.005866334],"category_scores_gemma":[0.00414791,0.0002645752,0.0003661346,0.0006344023,0.0009498902,0.001787142,0.001125032,0.00119382,0.001200955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008878565,"about_ca_system_score_gemma":0.0007621893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001052108,"about_ca_topic_score_gemma":0.001914893,"domain_scores_codex":[0.999673,0.00008635777,0.00001640691,0.00002290137,0.0001573549,0.00004401055],"domain_scores_gemma":[0.9993294,0.0002961369,0.0000494419,0.0001206377,0.000165326,0.0000389982],"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.00008620376,0.00004738447,0.0004668316,0.0001172985,0.0000144207,0.00009384649,0.0002480944,0.1540122,0.00401348,0.7771562,0.001689273,0.06205493],"study_design_scores_gemma":[0.00003715838,0.00002307485,0.000079117,0.00003714538,0.000006943427,0.00003425659,0.00004461511,0.7752772,0.004249629,0.2155131,0.004683862,0.0000138362],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08155993,0.0004390238,0.8897257,0.0003560722,0.0001020711,0.0000627413,0.0001685481,0.000926781,0.02665909],"genre_scores_gemma":[0.7735526,0.0004135546,0.2175061,0.00006723061,0.00006662133,0.0000926139,0.0002584478,0.0002657784,0.007777126],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005866334,"threshold_uncertainty_score":0.01962477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01417820967608513,"score_gpt":0.2771605562362793,"score_spread":0.2629823465601942,"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."}}