CAS-supported multiple representations in elementary linear algebra

Usually the Gaussian algorithm (GA) is presented at school as a method of solving a given system of linear equations by reducing it to a “triangular form”. In contrast to this technically oriented view, I will demonstrate a CAS-supported learning environment which includes a visual representation of GA and an activity-oriented «Gauss-game». This game stresses the concept of elementary matrices and leads directly to a partial, implementation of GA in the form of a «semi-automatic” functional CAS-program. These multiple representation of GA tries to take into consideration the research results on mental representations, to design rich variations of student activities and thereby to lead leading to webbeb concepts around GA. The CAS MuPAD is used.     

Variations on the Theorem of Birkhoff – von Neumann and Extensions

 The theorem of Birkhoff – von Neumann concerns bistochastic matrices (i.e., matrices with nonnegative real entries such that all row sums and all column sums are equal to one). We consider here real matrices with entries unrestricted in sign and we extend the notion of permutation matrices (integral bistochastic matrices); some generalizations of the theorem are derived by using elementary properties of graph theory. Received: October 10, 2000 Final version received: April 11, 2002     

On Positive and Weakly Positive Implicative BCI-Algebras

Prove that the notion of positive implicative BCI-algebras coincides with that of weakly positive implicative BCI-algebras, thus the whole results in the latter are still true in the former, in particular, one of these results answers definitely the first half of J. Meng and X.L. Xin’s open problem: Does the class of positive implicative BCI-algebras form a variety? The second half of the same problem is: What properties will the ideals of such an algebra have? Here, some further properties are obtained.     

On quartics with three-divisible sets of cusps

 We study the geometry and codes of quartic surfaces with many cusps. We apply Gr?bner bases to find examples of various configurations of cusps on quartics. Received: 10 May 2002 / Revised version: 11 November 2002 Published online: 3 March 2003 Permanent address: Institute of Mathematics, Jagiellonian University, ul. Reymonta 4, 30-059 Kraków, Poland. e-mail: rams@mi.uni-erlangen.de, rams@im.uj.edu.pl Research partially supported by the Schwerpunktprogramm ``Global methods in complex geometry' of the Deutsche Forschungsgemeinschaft, and by EAGER. Mathematics Subject Classification (2000): 14J25, 14J17     

<Emphasis Type="Italic">G</Emphasis>-covering subgroup systems for the classes of supersoluble and nilpotent groups

LetF be a class of groups andG a group. We call a set Σ of subgroups ofG aG-covering subgroup system for the classF (or directly aF-covering subgroup system ofG) ifG ∈F whenever every subgroup in Σ is inF. In this paper, we provide some nontrivial sets of subgroups of a finite groupG which are simultaneouslyG-covering subgroup systems for the classes of supersoluble and nilpotent groups. Research of the first author is supported by the NNSF of China (Grant No. 10171086) and QLGCF of Jiangsu Province and a Croucher Fellowship of Hong Kong. Research of the second author is partially supported by a UGC (HK) grant #2060176 (2001/2002).     

An obstruction to the positivity of relative Yamabe invariants

For a supergroup , we describe an obstruction to the existence of positive scalar curvature metrics with minimal boundary condition on a compact n-dimensional -manifold W with nonempty boundary M, , in terms of the bordism class [M] in the Stolz obstruction group associated to [St2]. In par ticular, when W is a 5-dimensional spin manifold and the -invariant of a connected component of M is nonzero, we prove that W does not admit a positive scalar curvature metric with minimal boundary condition. Received: 4 July 2001; in final form: 5 February 2002 / Published online: 8 November 2002 RID="*" ID="*" Partially supported by the Grants-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, No. 11640070.     

On Solvability of a Boundary Value Problem for Singular Integral Equations

This paper deals with the solvability of boundary value problems for singular integral equations of the form (i)-(ii).By an algebraic method we reduce the problem (i)-(ii) to a system of linear algebraic equations which gives all solutions in a closed form.AMS Subject Classification: 47G05, 45GO5, 45E05