搜索结果: 1-14 共查到“数学 Symbolic”相关记录14条 . 查询时间(0.096 秒)
The 41st International Symposium on Symbolic and Algebraic Computation (ISSAC)
Symbolic Algebraic Computation
2016/7/19
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2016 will be the 41st meeting in th...
Fix a topological system (X, T), with its space K(X, T) of Tinvariant Borel probabilities. If (Y, S) is a symbolic system (subshift) and ϕ : (Y, S) → (X, T) is a topological extension (factor map...
SYMBOLIC EXTENSION ENTROPY:Cr EXAMPLES,PRODUCTS AND FLOWS
SYMBOLIC EXTENSION ENTROPY Cr EXAMPLES PRODUCTS FLOWS
2015/9/29
Adapting techniques of Misiurewicz, for 1 ≤ r < ∞ we give an explicit construction of Cr maps with positiveresidual entropy. We also establish the behavior of symbolic extension entropy with respect t...
HIDDEN MARKOV PROCESSES IN THE CONTEXT OF SYMBOLIC DYNAMICS
HIDDEN MARKOV PROCESSES SYMBOLIC DYNAMICS
2015/9/29
In an effort to aid communication among different fields and perhaps facilitate progress on problems common toall of them, this article discusses hidden Markov processes from several viewpoints, espec...
Symbolic powers versus regular powers of ideals of general points in P^1 x P^1
symbolic powers multigraded points
2011/9/20
Abstract: Let I be a homogeneous ideal of R = k[x_0,...,x_n]. A current research theme is to compare the symbolic powers of I with the regular powers of I. In this paper, we investigate which ordinary...
Entropy for symbolic dynamics with overlapping alphabets
Entropy for symbolic dynamics overlapping alphabets
2010/11/22
We consider shift spaces in which elements of the alphabet may overlap nontransitively. We define a notion of entropy for such spaces, give several techniques for computing lower bounds for it, and s...
Equality of ordinary and symbolic powers of Stanley-Reisner ideals
Stanley-Reisner ideal Cohen-Macaulay ideal symbolic power vertex cover Ramsey graph
2010/11/30
This paper studies properties of simplicial complexes with the equal-ity I(m) = Im
for a given m ≥ 2. The main results are combinatorial characteriza-tions of such complexes in the two-dimensio...
A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL
Symbolic-Numeric Approach Minimal Polynomial Logic
2008/11/10
We first briefly describe an algebraic model of classical and modal many-valued logics due to the authors and introduced in previous works. A similar approach, also using Computer Algebra techniques (...
The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publi...
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria（图）
Professor 教授 Research Institute for Symbolic Computation Theorema Formal Methods Parallel and Distributed Computing
2007/12/24
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria.Research: Formal Methods; Parallel and Distributed Computing.
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria（图）
Professor 教授 Research Institute for Symbolic Computation Theorema Symbolic Scientific Computing Systolic multiprecision arithmetic
2007/12/24
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria. Research: Theorema: automatic reasoning in natural style; Numerical and Symbolic Scientific Computing; Syst...
Research Institute for Symbolic Computation of the Johannes Kepler University Linz, Austria（图）
符号演算 Symbolic Computation 计算机代数系统 computer algebra systems
2007/12/24
The Research Institute for Symbolic Computationis an institute of the Johannes Kepler University Linz, Austria.Symbolic Computation is for us:algorithmic solutions of mathematical problems, realizatio...
Dr. Franz Winkler, Chairman of Research Institute for Symbolic Computation Linz, Austria（图）
符号计算 计算代数 Full Professor Chairman Research Institute for Symbolic Computation Symbolic computer algebra differential elimination theory Equational theorem proving
2007/12/24
Dr. Franz Winkler, Full Professor, Chairman of the Research Institute for Symbolic Computation at the Johannes Kepler University Linz, Austria. Research Interests: Symbolic and algebraic computation (...
Symbolic computation of the roots of any polynomial with integer coefficients
Symbolic computation roots polynomial integer coefficients
2010/11/1
The roots of any polynomial of degree m with integer coefficients, can be computed by manipulation of sequences made from 2m distinct symbols and counting the different symbols in the sequences. This ...