symja_android_library
symja_android_library copied to clipboard
Compiling rules in to a decision tree as Java source code
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.