371 search results - page 17 / 75 » Expanders In Group Algebras |
AROBOTS
2000
13 years 8 months ago
2000
As research expands in multiagent intelligent systems, investigators need new tools for evaluating the artificial societies they study. It is impossible, for example, to correlate ...
FROCOS
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
IANDC
2006
13 years 8 months ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
EUSFLAT
2003
13 years 10 months ago
2003
We introduce the basic concepts on intuitionistic fuzzy subalgebras on n-ary groupoids, i.e., on algebras containing one fundamental n-ary operation. We describe some similarities...
BSL
2000
13 years 8 months ago
2000
In the spirit of a theorem of Wood [21], we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be i...