Sciweavers

371 search results - page 5 / 75
» Expanders In Group Algebras
Sort
View
ISSAC
2009
Springer
149views Mathematics» more  ISSAC 2009»
14 years 2 months ago
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
Ana Romero, Graham Ellis, Julio Rubio
MKM
2009
Springer
14 years 2 months ago
Finite Groups Representation Theory with Coq
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
Sidi Ould Biha
IJAC
2008
58views more  IJAC 2008»
13 years 7 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
CLEF
2003
Springer
14 years 24 days ago
Pruning Texts with NLP and Expanding Queries with an Ontology: TagSearch
: The basic line of our action is first to use natural language processing to prune the texts and the query, and secondly to use an ontology to expand the queries. Last year The sy...
Gil Francopoulo
NAACL
1994
13 years 9 months ago
Expanding the Scope of the ATIS Task: The ATIS-3 Corpus
The Air Travel Information System (ATIS) domain serves as the common evaluation task for ARPA"spoken language system developers.1To support this task, the Multi-Site ATIS Dat...
Deborah A. Dahl, Madeleine Bates, Michael Brown, W...