搜索结果: 1-15 共查到“知识库 代数学 geometry”相关记录16条 . 查询时间(0.706 秒)
Conformal field theory and a new geometry
Conformal field theory D-branes vertex operator algebra stringy algebraic geometry
2011/9/14
Abstract: This paper is a review of open-closed rational conformal field theory (CFT) via the theory of vertex operator algebras (VOAs), together with a proposal of a new geometry based on CFTs and D-...
The Convex Geometry of Linear Inverse Problems
Convex optimization semidefinite programming atomic norms
2011/1/17
In applications throughout science and engineering one is often faced with the challenge of
solving an ill-posed inverse problem, where the number of available measurements is smaller
than the dimen...
Geometry of free cyclic submodules over ternions
Geometry of free cyclic submodules ternions
2011/1/19
Given the algebra T of ternions (upper triangular 2 ×2 matrices)over a commutative field F we consider as set of points of a projective line over T the set of all free cyclic submodules of T2. This se...
Geometry of the locus of polynomials of degree 4 with iterative roots
Geometry polynomials iterative roots
2010/11/23
We study polynomial iterative roots of polynomials and describe the locus of complex polynomials of degree 4 admitting a polynomial iterative square root.
Quaternionic Grassmannians and Pontryagin classes in algebraic geometry
Quaternionic Grassmannians Pontryagin classes algebraic geometry
2010/11/9
The quaternionic Grassmannian HGr(r,n) is the affine open subscheme of the ordinary Grassmannian parametrizing those 2r-dimensional subspaces of a 2n-dimensional symplectic vector space on which the ...
Modifications of Hodge bundles and enumerative geometry : the stable hyperelliptic locus. Part 1: semicompact type
Hodge bundles enumerative geometry stable hyperelliptic locus
2010/11/9
We compute, in terms of tautological classes, the fundamental class of the locus of stable hyperelliptic curves, i.e. the closure in the moduli space of stable curves of the locus of smooth hyperellip...
Interaction between nonlinear diffusion and geometry of domain
nonlinear diffusion geometry of domain initial-boundary value problem
2010/12/15
Let be a domain in RN, where N ≥ 2 and @ is not necessarily bounded. We consider nonlinear diffusion equations of the form @tu = (u). Let u = u(x, t) be the solution of either the initial-boundary ...
Braided Symmetric Algebras of Simple $U_q(sl_2)$-Modules and Their Geometry
Braided Symmetric Algebras Simple $U_q(sl_2)$-Modules Their Geometry
2010/12/7
In the present paper we prove decomposition formulae for the braided symmetric powers of simple U q(sl2)-modules, natural quantum analogues of the classical symmetric powers of a module over a complex...
Rank Bounds for Design Matrices with Applications to Combinatorial Geometry and Locally Correctable Codes
Design Matrices Applications Combinatorial Geometry Locally Correctable Codes
2010/12/10
A (q, k, t)-design matrix is an m×n matrix whose pattern of zeros/non-zeros satisfies the
following design-like condition: each row has at most q non-zeros, each column has at least
k non-zeros and ...
An algebraic differential variety is defined as the zero-set of a differential polynomial set, and algebraic differential geometry is devoted to the study of such varieties. We give various decomposit...
Weighted Traces on Algebras of Pseudo-Differential Operators and Geometry of Loop Groups
Algebras Pseudo-Differential Operators Geometry of Loop Groups
2010/10/29
Using {\it weighted traces} which are linear functionals of the type $$A\to tr^Q(A):=(tr(A Q^{-z})-z^{-1} tr(A Q^{-z}))_{z=0}$$ defined on the whole algebra of (classical) pseudo-differential operato...
Weighted Traces on Algebras of Pseudo-Differential Operators and Geometry of Loop Groups
Algebras Pseudo-Differential Operators Geometry of Loop Groups
2010/10/29
Using {\it weighted traces} which are linear functionals of the type $$A\to tr^Q(A):=(tr(A Q^{-z})-z^{-1} tr(A Q^{-z}))_{z=0}$$ defined on the whole algebra of (classical) pseudo-differential operator...
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry
Machine proof automated geometry theorem proving Euclidean traditional proof area method Pythagoras di® erence constructive geometry statements
2013/9/9
We present a method which can produce traditional proofs for a class of geometry statements whose hypotheses can be described constructively and whose conclusions can be represented by polynomial equa...
Automated Reasoning in Dierential Geometry and Mechanics Using the Characteristic Set Method 1 Part I. An Improved Version of Ritt{Wu's Decomposition Algorithm
Dierential polynomial weak ascending chain W{prem Ritt{Wu's principle quasi zero set Ritt{Wu's decomposition algorithm
2013/9/9
This is the ˉrst paper of a series of three papers under the same title. It presents an improved version of Ritt{Wu's decomposition algorithm which is the basis of our methods of mechanical theorem pr...
Automated Reasoning in Di®erential Geometry and Mechanics Using Characteristic Method IV. Bertrand Curves
Mechanical theorem proving metric dierential geometry a±ne dierential geometry Bertrand curves.
2013/9/9
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for di®erential geomet...