symja_android_library icon indicating copy to clipboard operation
symja_android_library copied to clipboard

Compiling rules in to a decision tree as Java source code

Open axkr opened this issue 1 year ago • 0 comments

The goal of this enhancement in the first step is to generate a decision tree from the existing pattern matching rules as Java source code.

In the first step only simple rules should be converted into Java source code and be used for built-in functions rules:

  • https://github.com/axkr/symja_android_library/tree/master/symja_android_library/rules

In the second step the rules from the Rubi Integrator should be used and converted into a Java source code:

  • https://raw.githubusercontent.com/axkr/symja_android_library/master/symja_android_library/Rubi/RubiRules4.16.0.m

See: https://arxiv.org/abs/1705.00907 page 25 for the used discimination net.

axkr avatar Jun 20 '24 15:06 axkr