搜索结果: 1-14 共查到“数学 Symbolic”相关记录14条 . 查询时间(0.065 秒)
The 41st International Symposium on Symbolic and Algebraic Computation (ISSAC)
Symbolic Algebraic Computation
font style='font-size:12px;'>
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...
THE ENTROPY THEORY OF SYMBOLIC EXTENSIONS
ENTROPY THEORY SYMBOLIC EXTENSIONS
font style='font-size:12px;'>
2015/9/29
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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 (...
![](http://www.firstlight.cn/upload/imgfile/20070924d/108459a33750.gif)
Association for Symbolic Logic(USA)
数理逻辑 逻辑符号 symbolic logic
font style='font-size:12px;'>
2007/12/21
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...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107214a33317.gif)
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
font style='font-size:12px;'>
2007/12/24
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria.Research: Formal Methods; Parallel and Distributed Computing.
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107072a33244.gif)
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
font style='font-size:12px;'>
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...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107046a33235.gif)
Research Institute for Symbolic Computation of the Johannes Kepler University Linz, Austria(图)
符号演算 Symbolic Computation 计算机代数系统 computer algebra systems
font style='font-size:12px;'>
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...
![](http://www.firstlight.cn/upload/imgfile/20070924d/107058a33242.gif)
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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 ...