Skip to search formSkip to main contentSkip to account menu

Mathematical Calculus

Known as: calculus 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
Research suggests that despite the numerous benefits of using technology in mathematics education, the process of embedding… 
Review
2008
Review
2008
In this survey we present a brief history and the basic ideas of the generalized fractional calculus (GFC). The notion… 
Highly Cited
2006
Highly Cited
2006
Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the… 
Highly Cited
2001
Highly Cited
2001
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the… 
Highly Cited
1999
Highly Cited
1999
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and… 
Highly Cited
1996
Highly Cited
1996
Abstract In this paper, we give a general definition for f(T) when T is a linear operator acting in a Banach space, whose… 
1995
1995
Our goal is always to offer you an assortment of cost-free ebooks too as aid resolve your troubles. We have got a considerable… 
Review
1975
Review
1975
This opening lecture is intended to serve as a propaedeutic for the papers to be presented at this conference whose… 
1974
1974
(x not free in A, HPC is Heyting's predicate calculus) for the class of Kripke models of constant domains. See G6rnemann [1] for…