AbstractLet m∈N. Denote by N(Γ1(m)) the normalizer of Γ1(m) in PSL2(R). Then (i) N(Γ1(4))=N(Γ0(4))=Γ0(2∣2)+; (ii) if m≠4, then N(Γ1(m))=Γ0(m)+
Weintroduce a modular property of equational proofs, called modularity of normalization, for the un...
International audienceBiproportional methods are used to update matrices: the projection of a matrix...
AbstractWe give a correct definition of a general table of simultaneous Padé approximants and study ...
In this paper, we examine some suborbital graphs for the normalizer of ?0(N) in PSL(2, R)
We determine the group structure of the normalizer of Γ0 (N) in SL2(ℝ) modulo Γ0 (N). These results ...
In this paper, we find the number of sides of circuits in suborbital graph for the normalizer of ?0(...
Abstract. If β> 1, then every non-negative number x has a β-expansion, i.e., x = 0(x)
The data set contains the implementation of the algorithms from the thesis in the Computer Algebra S...
RésuméOn considère des systèmes de numération où la base est définie par une récurrence linéaire à c...
(A) Expression of GSE8397 across samples before data normalization process. (B). Expression of GSE83...
In this paper we introduce a relational algebra extended with a calculate operator and derive, for ...
Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curr...
72 p. , ill. , 30 cmLe @ calcul est une extension simple du -calcul classique qui n’utilise aucun co...
<p>Left: Normalised sum over S(Q,ω = 0) at 0 < Q < 2 Å<sup>-1</sup> on IN6 (triangles), IN13 (square...
AbstractWe introduce techniques to derive estimates for the degrees of the generators of the integra...
Weintroduce a modular property of equational proofs, called modularity of normalization, for the un...
International audienceBiproportional methods are used to update matrices: the projection of a matrix...
AbstractWe give a correct definition of a general table of simultaneous Padé approximants and study ...
In this paper, we examine some suborbital graphs for the normalizer of ?0(N) in PSL(2, R)
We determine the group structure of the normalizer of Γ0 (N) in SL2(ℝ) modulo Γ0 (N). These results ...
In this paper, we find the number of sides of circuits in suborbital graph for the normalizer of ?0(...
Abstract. If β> 1, then every non-negative number x has a β-expansion, i.e., x = 0(x)
The data set contains the implementation of the algorithms from the thesis in the Computer Algebra S...
RésuméOn considère des systèmes de numération où la base est définie par une récurrence linéaire à c...
(A) Expression of GSE8397 across samples before data normalization process. (B). Expression of GSE83...
In this paper we introduce a relational algebra extended with a calculate operator and derive, for ...
Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curr...
72 p. , ill. , 30 cmLe @ calcul est une extension simple du -calcul classique qui n’utilise aucun co...
<p>Left: Normalised sum over S(Q,ω = 0) at 0 < Q < 2 Å<sup>-1</sup> on IN6 (triangles), IN13 (square...
AbstractWe introduce techniques to derive estimates for the degrees of the generators of the integra...
Weintroduce a modular property of equational proofs, called modularity of normalization, for the un...
International audienceBiproportional methods are used to update matrices: the projection of a matrix...
AbstractWe give a correct definition of a general table of simultaneous Padé approximants and study ...