Formal mathematics is getting increasing attention in mathematics and computer science. In particular, the formalization of calculus has important applications in engineering design and analysis. In ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback