A complete equational axiomatisation of partial differentiation.

Gordon D. Plotkin

Published in: CoRR (2020)

Keyphrases

theorem proving
functional dependencies
inference rules
partial information
data sets
neural network
search engine
knowledge base
image processing
multiscale
artificial neural networks
hidden markov models
modal logic