Affiliation:
1. Meadow Lakes, Hightstown, NJ
Abstract
I discuss notations for some styles of mathematical reasoning that include analogy. These notations extend the conventions of the mathematical package mathscape that I reported recently in the Journal of Symbolic Computation. The paper introduces the reasoning objects that I call "precursors" and "consequences lists".
Publisher
Association for Computing Machinery (ACM)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献