Calculus

Results: 11790



#Item
791Modal logic / Logical connectives / Conditionals / Philosophical logic / Philosophy of language / Doxastic logic / Material conditional / Propositional calculus / Strict conditional / Proposition / Mathematical proof / Meaning

nalytica an electronic, open-access journal for philosophy of science How to Learn Concepts, Consequences and Conditionals

Add to Reading List

Source URL: www.analytica.phs.uoa.gr

Language: English - Date: 2016-07-11 06:07:38
792Number theorists / Philosophers of science / Philosophy of mathematics / Mathematics / Pure mathematics / Albert Einstein / Mathematical analysis / Foundations of mathematics / Tensor / Srinivasa Ramanujan / Calculus / David Hilbert

Sutra: International Journal of Mathematical Science Education © Technomathematics Research Foundation Vol. 1, No. 1, 1 – 8, 2008    MATHEMATICS THRILLERIUM

Add to Reading List

Source URL: www.tmrfindia.org

Language: English - Date: 2008-11-10 09:49:35
793Differential equations / Partial differential equations / Multivariable calculus / Fourier analysis / Differential calculus / Method of characteristics

The Package SPDE for Determining Symmetries of Partial Differential Equations Fritz Schwarz GMD, Institut F1 PostfachSt. Augustin

Add to Reading List

Source URL: reduce-algebra.com

Language: English - Date: 2008-12-30 11:47:54
794Matrix theory / Linear algebra / Functional analysis / Eigenvalues and eigenvectors / Singular value decomposition / Sheaf / Spectrum of a ring / Diagonalizable matrix / Vertex operator algebra

The noncommutative torus and Dirac calculus B. Zilber November 14, 2010 In [1] we considered the noncommutative torus Tq2 for q a root of unity, and in [5] for generic q, which we showed to be approximated, under certain

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2010-11-14 15:24:36
795Theoretical computer science / Computability theory / Process calculi / -calculus / Lambda calculus / Process calculus / Integration by substitution / Limit of a function / Substitution / Heat equation / Join-pattern

The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2

Add to Reading List

Source URL: www.wischik.com

Language: English - Date: 2002-09-03 06:29:14
796Type theory / Parametricity / Type class / Haskell / Polymorphism / Map / Lambda calculus / Combinatory logic / Kind / Parametric polymorphism / ML / Haskell features

Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell

Add to Reading List

Source URL: www4.in.tum.de

Language: English - Date: 2008-04-14 08:10:31
797Differentiation rules / Functions and mappings / Differential calculus / E / Logarithms / Derivative / Natural logarithm / Exponential function / Chain rule / Multiplicative inverse / Product rule / Limit of a function

Microsoft Word - calculus.doc

Add to Reading List

Source URL: www.stat.wisc.edu

Language: English - Date: 2008-06-13 20:48:25
798Mathematical physics / Integral calculus / Riemannian geometry / Operator theory / Morphism of algebraic varieties / BakerCampbellHausdorff formula

A Proofs Theorem 1. For a positive semidefinite matrix L and x ∈ [0, 1]N , XY Y

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2012-11-11 23:59:53
799Linear algebra / Matrix theory / Differential operators / Multivariable calculus / Eigenvalues and eigenvectors / Singular value decomposition / Eigenfunction / Matrix / LaplaceBeltrami operator / Partial differential equation

Compressed Manifold Modes: Fast Calculation and Natural Ordering Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K.

Add to Reading List

Source URL: www.kevinhouston.net

Language: English - Date: 2015-07-14 05:07:43
800Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Symbol / Structure

The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth

Add to Reading List

Source URL: db.ucsd.edu

Language: English - Date: 2008-12-16 18:43:25
UPDATE