Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Calculus in coinductive form
D. Pavlović
,
M. H. Escardó
Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Calculus in coinductive form'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Computer Science
100%
Real Number
100%
Theorem Proving
100%
Symbolic Computation
100%
Formalization
100%
Taylor Series
100%
Laplace Transform
100%
Keyphrases
Calculus
100%
Computer Science
25%
Computer Algebra
25%
Ordinary Differential Equations
25%
Mathematical Techniques
25%
Theorem Proving
25%
Coinduction
25%
Real numbers
25%
Symbolic Computation
25%
Taylor Series
25%
Laplace Transform
25%
Operator Calculus
25%
Ordinary Difference Equations
25%
Mathematics
Calculus
100%
Computer Algebra
25%
Ordinary Differential Equation
25%
Symbolic Computation
25%
Formalization
25%
Taylor Series
25%
Difference Equation
25%
Laplace Transform
25%
Real Number
25%
Elementary Calculus
25%