Identifier: | integration |
Rules: |
Ruleset |
integration_rules |
Ruleset | add_new_c |
Ruleset | simplify_Integral |
For
applying rules: |
Rewriteorder |
termlessI |
For evaluating conditions in rules: |
Ruleset | conditions_in_integration |