Login / Signup
A Rule-Based System for Computation and Deduction in Mathematica.
Mircea Marin
Besik Dundua
Temur Kutsia
Published in:
WRLA@ETAPS (2020)
Keyphrases
</>
machine learning
neural network
higher order
real world
management system
efficiently computing