First class constraint - PDFSEARCH.IO - Document Search Engine

First class constraint
Results: 11

#	Item
1	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
2	Path Constraints on Semistructured and Structured Data Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Constraint programming Mathematical optimization Constraint satisfaction Theoretical physics First class constraint
3	Lecture Note Part 1 Goals and scope 001 Add to Reading List Source URL: physics.indiana.edu Language: English - Date: 2014-12-08 22:16:08 Hamiltonian mechanics Symplectic geometry Differential topology Symplectic integrator Quadrupole Matrix Canonical coordinates Coordinate system Symplectic group First class constraint
4	Self-accelerating Massive Gravity: Covariant Perturbation Theory Pavel Motloch1 and Wayne Hu2 1 arXiv:1409.2204v2 [hep-th] 29 Oct 2014 Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:31 Partial differential equations Symbol Einstein field equations Lagrangian Minkowski space Gauge theory First class constraint Metric tensor Orbifold Physics Theoretical physics General relativity
5	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
6	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
7	arXiv:hep-th/9509173v2 28 Oct[removed]Bosonization of Thirring Model in Arbitrary Dimension Kenji Ikegami, Kei-ichi Kondo and Atsushi Nakamura Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-01-31 23:44:35 First class constraint Lagrangian Thirring model Gauge theory Spinor Physics Quantum field theory Theoretical physics
8	1 1.1 Hamiltonian quantization and BRST -survival guide; notes by Horatiu Nastase Dirac- first class and second class constraints, quantization Add to Reading List Source URL: www.het.brown.edu Language: English - Date: 2006-01-24 13:14:47 Symplectic geometry Classical mechanics Cohomology theories BRST quantization First class constraint Dirac bracket Gauge theory Gauge fixing Canonical commutation relation Physics Theoretical physics Quantum field theory
9	PDF Document Add to Reading List Source URL: www.ejournal.unam.mx Language: English - Date: 2007-03-01 13:36:37 First class constraint Gauge theory BRST quantization Higgs mechanism Gauge fixing Path integral formulation Symbol Lagrangian Dirac delta function Physics Quantum field theory Theoretical physics
10	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-06-20 19:08:46 Riemannian geometry Operator theory Quantum field theory First class constraint Metric tensor Path integral formulation Hamiltonian Physics Quantum mechanics Differential geometry