搜索结果: 1-8 共查到“数理逻辑与数学基础 by-product”相关记录8条 . 查询时间(0.203 秒)
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language do...
A quantum stochastic Lie-Trotter product formula
quantum stochastic Lie-Trotter product formula
2010/11/24
A Trotter product formula is established for unitary quantum stochastic processes governed by quantum stochastic differential equations with constant bounded coefficients.
On Kadell's two Conjectures for the $q$-Dyson Product
Dyson conjecture Dyson product Kadell’s conjecture constant term q-analog
2010/12/1
By extending Lv-Xin-Zhou’s first layer formulas of the q-Dyson product, we prove Kadell’s conjecture for the Dyson product and show the error of his q-analogous conjec-ture. With the extended formulas...
An algorithm for the Cartan-Dieudonné theorem on generalized scalar product spaces
the Cartan-Dieudonné theorem scalar product
2010/11/9
We present an algorithmic proof of the Cartan-Dieudonn\'e theorem on generalized real scalar product spaces with arbitrary signature. We use Clifford algebras to compute the factorization of a given ...
A New Class of Antimagic Cartesian Product Graphs.
Antimagic Magic Labeling Regular graph Cartesian product
2012/11/30
An antimagic labeling of a finite undirected simple graph with m edges and n vertices is a bijection from the set of edges to the integers 1; : : : ;m such that all n-vertex sums are pairwise distinct...
ON THE PRODUCT OF MAPPING RADII FOR A SYSTEM OF NON-OVERLAPPING DOMAINS.
This is a short comment on the Moyal formula for deformation quantization. It is shown that the Moyal algebra of functions on the plane is canonically isomorphic to an algebra of matrices of infinite ...