Sign in

A Rule-Based System for Computation and Deduction in Mathematica.

Mircea MarinBesik DunduaTemur Kutsia
Published in: WRLA@ETAPS (2020)
Keyphrases
  • machine learning
  • neural network
  • higher order
  • real world
  • management system
  • efficiently computing