From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

Source URL: matita.cs.unibo.it

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Mathematical notation
• Predicate logic
• Elementary mathematics
• Metalogic
• Substitution
• Term
• Lambda calculus
• Structure

EXCALC: A System for Doing Calculations in the Calculus of Modern Differential Geometry Eberhard Schr¨ ufer Institute SCAI.Alg German National Research Center for Information Technology (GMD)

Source URL: reduce-algebra.com

• Mathematics
• Mathematical analysis
• Algebra
• Differential operators
• Differential forms
• Multivariable calculus
• Vector calculus
• Generalizations of the derivative
• Exterior algebra
• Exterior derivative
• Derivative
• Euclidean vector

to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2

Source URL: www.wischik.com

• Theoretical computer science
• Mathematical logic
• Logic
• Formal methods
• Logic in computer science
• Process calculi
• -calculus
• Automated theorem proving
• Process calculus
• Lambda calculus
• Bisimulation
• Limit of a function

HP Prime AP Calculus Summer Institute Materials by Mark Howell Version 1.1, Revised

Source URL: www.hp-prime.de

• Mathematics
• Functions and mappings
• Programmable calculators
• Mathematical analysis
• Graphing calculators
• Computer algebra systems
• Asymptote
• HP calculators
• Function key
• Limit of a function
• Calculus
• EVE

MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Continuation model predictive control on smooth manifolds Knyazev, A.; Malyshev, A. TR2015-118

Source URL: www.merl.com

• Ordinary differential equations
• Calculus
• Differential calculus
• Numerical methods for ordinary differential equations
• Mathematical analysis
• Model predictive control
• Linear system
• Differential equation
• Partial differential equations

A resource analysis of the π-calculus Aaron Turon Joint work with Mitchell Wand Northeastern University

Source URL: www.mpi-sws.org

Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 =

Source URL: www.cs.bu.edu

• Theoretical computer science
• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Lambda calculus
• Term
• Relationships among probability distributions
• Centripetal CatmullRom spline

ON THE FINITE-TIME BLOWUP OF A 1D MODEL FOR THE 3D AXISYMMETRIC EULER EQUATIONS arXiv:1407.4776v2 [math.AP] 14 SepK. CHOI, T. HOU, A. KISELEV, G. LUO, V. SVERAK, AND Y. YAO

Source URL: users.cms.caltech.edu

• Mathematical analysis
• Calculus
• Physics
• Aerodynamics
• Partial differential equations
• Harmonic functions
• Differential topology
• Fluid dynamics
• NavierStokes equations
• Euler equations
• Vector field
• BiotSavart law

THEOREMS ON LIMITS AND CONTINUITY MATH 152, SECTION 55 (VIPUL NAIK) Difficulty level: Moderate to hard. There are a couple of proofs here that are hard to understand; however, you are not responsible for the proofs of th

Source URL: files.vipulnaik.com

• Mathematical analysis
• Mathematics
• Analysis
• Functions and mappings
• Calculus
• General topology
• Limit of a function
• Continuous function
• Bernhard Riemann
• Net
• Limit
• Squeeze theorem

Supporting Information Drescher et alpnasSI Text Hydrodynamics vs. Noise in Cell–Cell Scattering. Guided by our ex- perimental results for Escherichia coli, we would like to estimate

Source URL: www.damtp.cam.ac.uk

• Mathematical analysis
• Mathematics
• Vector calculus
• Potential theory
• Electromagnetism
• Partial differential equations
• Rotational symmetry
• Rotational diffusion
• Vector spherical harmonics
• Spherical harmonics
• Dipole
• Vector field