Sciweavers

155 search results - page 1 / 31
» Symplectic Alternating Algebras
Sort
View
IJAC
2008
58views more  IJAC 2008»
13 years 5 months ago
Symplectic Alternating Algebras
This paper begins the development of a theory of what we will call symplectic alternating algebras. They have arisen in the study of 2-Engel groups but seem also to be of interest...
Gunnar Traustason
AAECC
1993
Springer
94views Algorithms» more  AAECC 1993»
13 years 9 months ago
Relations Among Lie Formal Series and Construction of Symplectic Integrators
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
Pierre-Vincent Koseleff
FQ
2003
Springer
13 years 10 months ago
Symplectic Spreads and Permutation Polynomials
Every symplectic spread of PG(3, q), or equivalently every ovoid of Q(4, q), is shown to give a certain family of permutation polynomials of GF(q) and conversely. This leads to an...
Simeon Ball, Michael Zieve
AMAST
2010
Springer
13 years 11 days ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
IJAC
2007
70views more  IJAC 2007»
13 years 5 months ago
The Free Alternative Superalgebra on One odd Generator
A base of the free alternative superalgebra on one odd generator is constructed. As a corollary, a base of the alternative Grassmann algebra is given. We also find a new element ...
Ivan Shestakov, Natalia Zhukavets