Results 71 to 80 of about 439,115 (199)

Enhancing Formal Methods Integration with ACP2Petri

Journal of Information and Organizational Sciences, 2016
The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension ...
Slavomír Šimoňák, Martin Šolc
doaj  

Applications of Fixed Point Theorems to Generalized Saddle Points of Bifunctions on Chain-Complete Posets

Abstract and Applied Analysis, 2014
We apply the extensions of the Abian-Brown fixed point theorem for set-valued mappings on chain-complete posets to examine the existence of generalized and extended saddle points of bifunctions defined on posets.
Jinlu Li, Ying Liu, Hongya Gao
doaj   +1 more source

Unit group of the ring of negacirculant matrices over finite commutative chain rings

Special Matrices
Circulant matrices form an important class of matrices that have been continuously studied due to their nice algebraic structures and wide applications. In this study, we focus specifically on negacirculant matrices, which are known as extensions of the ...
Naksing Prarinya, Jitman Somphong
doaj   +1 more source

A simple algebraic characterization of nonstandard extensions

, 2012
We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions.
Marco Forti, FORTI, MARCO
core   +1 more source

Formal Pseudodifferential Operators in One and Several Variables, Central Extensions, and Integrable Systems

Advances in Mathematical Physics, 2015
We review some aspects of the theory of Lie algebras of (twisted and untwisted) formal pseudodifferential operators in one and several variables in a general algebraic context.
Jarnishs Beltran, Enrique G. Reyes
doaj   +1 more source

Algebraic extensions of difference fields

, 1973
An inversive difference field K \mathcal {K} is a field K together with a finite number of automorphisms of K. This paper studies inversive extensions of inversive difference fields whose underlying field extensions are ...
Peter Evanovich
core   +1 more source

Heights and multiplicative relations on algebraic varieties [PDF]

, 2007
Points on a subvariety X of a semi-abelian variety A that are contained in a subgroup, let the subgroup be of finite rank or algebraic, are subject to severe restrictions arithmetical nature. Finiteness results for intersections of X with subgroups of
Habegger, Philipp
core   +1 more source

An algebraic study of extension algebras [PDF]

American Journal of Mathematics, 2017
40pp, v1: separated out from arXiv:1203.5254, v2: major revision. title changed. v3: major revision. modified conditions, removed dg-algebra arguments, and Appendix B separated out. v4: minor revision.
openaire   +2 more sources

Basic Algebraic Structures And Field Extensions

U ovom radu proučavali smo osnovne algebarske strukture i kvadratna proširenja polja racionalnih brojeva. Počevši od osnovnih definicija i pojmova iz algebre, istražujemo kako se formiraju proširenja polja, s posebnim naglaskom na kvadratna proširenja ...
Babok, Ema
core   +3 more sources

Global Solvably Closed Anabelian Geometry [PDF]

, 2006
In this paper, we study the pro-Σ anabelian geometry of hyperbolic curves, where Σ is a nonempty set of prime numbers, over Galois groups of “solvably closed extensions” of number fields — i.e., infinite extensions of number fields which have ...
Mochizuki, Shinichi
core   +1 more source