Page 1 Next

Displaying 1 – 20 of 50

Showing per page

A new approach to chordal graphs

Ladislav Nebeský (2007)

Czechoslovak Mathematical Journal

By a chordal graph is meant a graph with no induced cycle of length 4 . By a ternary system is meant an ordered pair ( W , T ) , where W is a finite nonempty set, and T W × W × W . Ternary systems satisfying certain axioms (A1)–(A5) are studied in this paper; note that these axioms can be formulated in a language of the first-order logic. For every finite nonempty set W , a bijective mapping from the set of all connected chordal graphs G with V ( G ) = W onto the set of all ternary systems ( W , T ) satisfying the axioms (A1)–(A5) is...

Extending piecewise polynomial functions in two variables

Andreas Fischer, Murray Marshall (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

We study the extensibility of piecewise polynomial functions defined on closed subsets of 2 to all of 2 . The compact subsets of 2 on which every piecewise polynomial function is extensible to 2 can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of . Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise polynomial...

Extending Tamm's theorem

Lou van den Dries, Chris Miller (1994)

Annales de l'institut Fourier

We extend a result of M. Tamm as follows:Let f : A , A m + n , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions x x r : ( 0 , ) , r . Then there exists N such that for all ( a , b ) A , if y f ( a , y ) is C N in a neighborhood of b , then y f ( a , y ) is real analytic in a neighborhood of b .

Fields of surreal numbers and exponentiation

Lou van den Dries, Philip Ehrlich (2001)

Fundamenta Mathematicae

We show that Conway's field of surreal numbers with its natural exponential function has the same elementary properties as the exponential field of real numbers. We obtain ordinal bounds on the length of products, reciprocals, exponentials and logarithms of surreal numbers in terms of the lengths of their inputs. It follows that the set of surreal numbers of length less than a given ordinal is a subfield of the field of all surreal numbers if and only if this ordinal is an ε-number. In that case,...

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems

Corina Cîrstea (2010)

RAIRO - Theoretical Informatics and Applications

We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system states...

Integrating observational and computational features in the specification of state-based, dynamical systems

Corina Cîrstea (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system...

Currently displaying 1 – 20 of 50

Page 1 Next