Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
231	595 Documenta Math. ¨hler Forms on Complex Lie Groups Pseudoka Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:56 Operator theory Representation theory Linear algebra Invariant subspace Complex analysis Partial differential equations Loewner differential equation
232	49 Documenta Math. Some Algebraic Aspects of Quadratic Forms over Fields Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-11-30 08:08:27 Quadratic forms Pfister form Bilinear form Bilinear map Symmetric bilinear form Arf invariant Quaternion algebra Isotropic quadratic form Quadric -quadratic form Metric tensor
233	An analogue of Jeu de taquin for Littelmann’s crystal paths Marc A. A. van Leeuwen Universit´e de Poitiers, D´epartement de Math´ematiques, 40 Avenue du Recteur Pineau, 86022 Poitiers, France Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2000-08-07 12:30:25 Algebraic combinatorics Representation theory Symmetric functions Invariant theory LittlewoodRichardson rule Jeu de taquin Littelmann path model Young tableau Picture
234	275 Documenta Math. The Number of Independent Vassiliev Invariants in Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:26:44 Polynomials Knot theory Jones polynomial HOMFLY polynomial Finite type invariant Kauffman polynomial Bracket polynomial
235	Microsoft Word - Handout 03.doc Add to Reading List Source URL: www.ion.le.ac.uk Language: English - Date: 2008-10-27 07:41:14 Plasma physics Guiding center Lorentz force Gyroradius Plasma Magnetic field Adiabatic invariant Electromagnetic field Magnetosphere particle motion Bohm diffusion
236	Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-05 16:21:44 Formal methods NuSMV Logic in computer science Model checking Formal verification Invariant
237	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
238	Higher-Order Intersections in Low-Dimensional Topology Jim Conant ∗ , Rob Schneiderman † , and Peter Teichner ‡ ∗ University of Tennessee,† Lehman College CUNY, and ‡ UC Berkeley and Max-Planck-Institut f¨ Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Surgery theory Knot invariants Differential topology 3-manifolds Geometric topology Link group Arf invariant Finite type invariant H-cobordism Manifold Link concordance Cobordism
239	HIERATIC WP3:    Algorithms for Identifying  Linear Coarse Grainings  Add to Reading List Source URL: www.hieratic.eu Language: English Linear algebra Matrix theory Sparse matrices Matrices Matrix Eigenvalues and eigenvectors Diagonal matrix Invariant subspace Invariant Block matrix
240	GROUPS OF HOMOTOPY SPHERES GRADUATE STUDENT SEMINAR WINTER TERM 2013 DOMINIK OSTERMAYR This semester we want to study groups of homotopy spheres. Let θn be the group of Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2013-09-30 08:35:02 Surgery theory Differential topology Geometric topology Cobordism Kervaire invariant H-cobordism Surgery exact sequence Handle decomposition Homotopy groups of spheres Signature Handlebody 3-manifold

UPDATE