5510 search results - page 147 / 1102 » Mathematics |
122
click to vote
ISSAC
2000
Springer
15 years 7 months ago
2000
Springer
This note presents an algorithm to speed up the computation of normalizers of permutation groups. It is an application of computation of isomorphisms of association schemes. Categ...
128
click to vote
ITP
2010
15 years 5 months ago
2010
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
184
click to vote
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Lecture notes, particularly such with mathematical formul
112
click to vote
AML
2008
15 years 3 months ago
2008
Using GCH, we force the following: There are continuum many simple cardinal characteristics with pairwise different values. Mathematics Subject Classification (2000) 03E17
120
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
As the need for advanced, interactive mathematical models has increased, user/programmers are increasingly choosing the MatLab