Related papers: An Elementary but Logical Approach to Integration
Many engineering students enter college excited about math and physics, only to have their enthusiasm dimmed by a rigid, outdated calculus curriculum. The University of Michigan's Robotics Department is piloting a new 4-credit course,…
In this paper, we consider a discrete version of iterated integrals by the naive (equally divided) Riemann sum. In particular, basic three formulas for usual iterated integrals are discritized. Moreover, we proved cyclic sum formulas for…
This article begins with a review of quantum measure spaces. Quantum forms and indefinite inner-product spaces are then discussed. The main part of the paper introduces a quantum integral and derives some of its properties. The quantum…
This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…
This paper examines various methods and ideas for humanizing mathematics. The term 'humanizing mathematics' which includes elements of 'aesthetic mathematics' refers to approaches that emphasize the aesthetic, philosophical, and subjective…
We study the existence of Riemann-Stieltjes integrals of bounded functions against a given integrator. We are also concerned with the possibility of computing the resulting integrals by means of related Riemann integrals. In particular, we…
We introduce orbifolds from the classical point of view, using charts, and present orbifold versions of elementary objects from Algebraic Topology, such as the fundamental group, coverings and Euler characteristic; Differential…
We present a rational version of the classical Landen transformation for elliptic integrals. This is employed to obtain explicit closed-form expressions for a large class of integrals of even rational functions and to develop an algorithm…
In this short paper, I introduce an elementary method for exactly evaluating the definite integrals $\, \int_0^{\pi}{\ln{(\sin{\theta})}\,d\theta}$, $\int_0^{\pi/2}{\ln{(\sin{\theta})}\,d\theta}$,…
A recently proposed integral representation for permanents is rederived using only elementary combinatorics. For this proof the assumption that the matrix, for which the permanent is calculated, has an inverse is not necessary.
We study approximations to the Moreau envelope -- and infimal convolutions more broadly -- based on Laplace's method, a classical tool in analysis which ties certain integrals to suprema of their integrands. We believe the connection…
Contribution: We demonstrate that it is feasible to include field specific problems in introductory mathematics courses to motivate engineering students. This is done in a way that still allows large parts of the course to be common to all…
We introduce the logical grammar emdebbing (LGE), a model inspired by pregroup grammars and categorial grammars to enable unsupervised inference of lexical categories and syntactic rules from a corpus of text. LGE produces comprehensible…
This short note presents a peculiar generalization of the Riemann hypothesis, as the action of the permutation group on the elements of continued fractions. The problem is difficult to attack through traditional analytic techniques, and…
We discuss a version of the fundamental theorem of calculus in several variables and some applications, of potential interest as a teaching material in undergraduate courses.
A novel integrability condition for the Riccati equation, the simplest form of nonlinear ordinary differential equations, is obtained by using elementary quadrature method. Under this condition, the analytic general solution is presented,…
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…
In the U.S., introductory calculus-based courses often acts as a gatekeeper to STEM degrees. But access to the prerequisite math is far from equal--students from low-income and racially marginalized communities are far less likely to have…
We study a version of the Lebesgue differentiation theorem in which the integral averages are replaced with medians over Busemann--Feller differentiation bases. Our main result gives several characterizations for the differentiation…
We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…