1730 search results - page 42 / 346 » Algebra and Computation |
CIE
2005
Springer
14 years 3 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
AML
2008
13 years 10 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
SACMAT
2004
ACM
14 years 3 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper presents an approach to deal with standard tasks of computer animations and robotics based on Conformal Geometric Algebra. We will show that this algebra is very wel...
MOC
2002
13 years 9 months ago
2002
For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formul...