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 ...

Applied researchers often need to estimate confidence intervals for functions of parameters, such as the effects of counterfactual policy changes. If the function is continuously differentiable and ...

Abstract: The present paper mainly discuss the classification of continuous and discontinuous functions of unbounded variation on closed intervals. The classification of functions of bounded variation ...

Abstract: We derive conditions for continuous differentiability of inter-spike intervals (ISIs) of spiking neurons with respect to parameters (decision variables) of an external stimulating input ...