<--- Back to Details
First PageDocument Content
Fourier analysis / Fractional calculus / Lipschitz continuity / Calculus of variations / Sheaf / Continuous function / Knaster–Tarski theorem / Ordinary differential equation / Mathematical analysis / Mathematics / Sobolev spaces
Date: 2010-02-16 17:31:10
Fourier analysis
Fractional calculus
Lipschitz continuity
Calculus of variations
Sheaf
Continuous function
Knaster–Tarski theorem
Ordinary differential equation
Mathematical analysis
Mathematics
Sobolev spaces

doi:[removed]j.jde[removed]

Add to Reading List

Source URL: adatbank.transindex.ro

Download Document from Source Website

File Size: 250,29 KB

Share Document on Facebook

Similar Documents

Entailment / Logical consequence / Metalogic / Philosophical logic / Function / Knaster–Tarski theorem / Logic / Mathematics / Deduction

Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 3 Matthias F¨ ugger, March 25, 2010

DocID: 1gvaY - View Document

Integration by substitution / Fourier analysis / Measure theory / Mathematical series / Asymptotic equipartition property / Knaster–Tarski theorem / Mathematical analysis / Mathematics / Ergodic theory

A classical ergodic property for IFS: A simple proof B. Forte1;2 , F. Mendivil2 1 Facolta di Scienze MM. FF. e NN. a Ca Vignal

DocID: 13G1b - View Document

Operator / Theorems and definitions in linear algebra / Mathematics / Knaster–Tarski theorem / Order theory

Existence and Uniqueness of a Fixed Point for the Bellman Operator in Deterministic Dynamic Programming∗ Takashi Kamihigashi† February 19, 2012

DocID: 136UW - View Document

Computability theory / Function / Primitive recursive function / Principia Mathematica / Knaster–Tarski theorem / Mathematics / Functions and mappings / Mathematical logic

Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK

DocID: 11AIW - View Document

Order theory / Knaster–Tarski theorem / Functions and mappings / Symbol / Entailment / Function / Linear temporal logic / Logic / Mathematics / Abstraction

Overview Modelling Algorithmic Verification Comp4151 Lecture 4-B

DocID: Y6Rm - View Document