Embedding theorems for classes of GBL-algebras P. Jipsen and F. Montagna Chapman University, Department of Mathematics and Computer Science, Orange, CA 92866, USA University of Siena, Department of Mathematics and Comput

Source URL: math.chapman.edu

The double (and triple, andmean value theorem Harald Hanche-Olsen 2005–10–20 A colleague came across some mentions of the double and triple mean value theorems today (see the references). As neither he nor I

Source URL: www.math.ntnu.no

Generic Uniqueness of the Solutions to a Continuous Linear Programming Problem Nicola Persico February 14, 2005 Abstract

Source URL: nicolapersico.com

• Convex analysis
• Convex function
• Differential geometry
• Ordinary differential equations
• Theorems and definitions in linear algebra
• Dirac delta function
• Mathematical analysis
• Mathematics
• Algebra

Math. Appl), 57–78 DOI: maON A TWO-POINT BOUNDARY VALUE PROBLEM FOR THIRD-ORDER LINEAR FUNCTIONAL DIFFERENTIAL EQUATIONS. PART I.

Source URL: ma.fme.vutbr.cz

• Splitting lemma
• Operator theory
• Ordinary differential equations
• Spectral theory
• Theorems and definitions in linear algebra
• Lemmas
• Mathematics
• Homological algebra

Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†

Source URL: www.lix.polytechnique.fr

• Mathematical logic
• Computer science
• Denotational semantics
• Lambda calculus
• Symbol
• Combinatory logic
• Orbifold
• Programming Computable Functions
• Theoretical computer science
• Logic in computer science
• Programming language semantics

Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0,

Source URL: mirror.easyname.at

• Logic in computer science
• Operator theory
• Ordinary differential equations
• Spectral theory
• Theorems and definitions in linear algebra
• Sturm–Liouville theory
• Mathematics
• Combinatory logic
• Lambda calculus

An Extension of the LATEX theorem environment∗ Frank Mittelbach April 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category tools) at http://latex-project.org/bugs.html.

Source URL: ctan.sciserv.eu

• Logical syntax
• Philosophical logic
• Philosophy of language
• Theorems
• LaTeX
• TeX
• Logic
• Mathematics
• Logical consequence

Abstract for “Technological Inefficiency Indexes: A Binary Taxonomy and Generic Theorems” R. Robert Russell (UC Riverside) William Schworm (UNSW) Over the years, a large number of indexes of technological inefficienc

Source URL: iariw.org

• Data management
• Data
• Computing
• Extensible Storage Engine
• Database index
• Inefficiency

Limit Theorems in Stochastic Geometry with Applications Mathew Penrose (University of Bath) 16th workshop on Stochastic Geometry,

Source URL: www.maths.bath.ac.uk

• Spectral theory
• Fourier analysis
• Spectral theory of ordinary differential equations
• Point process
• Mathematical analysis
• Operator theory

Groups Groups and subgroups Definitions A group G is a set equipped with an associative binary operation, an identity element for this operation, and which has inverses. A subgroup H ≤ G is a subset closed under the gr

Source URL: www.jchl.co.uk

• Finite groups
• Sylow theorems
• Index of a subgroup
• Normal subgroup
• P-group
• Abelian group
• Quotient group
• Group
• Coset
• Abstract algebra
• Algebra
• Group theory