A Complete Equational Axiomatisation of Partial Differentiation
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE（2020）
Key words
Partial differentiation,second-order equational logic,completeness,Hermite interpolation
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined