Search results for "Symbolic"
showing 10 items of 449 documents
Algebras of unbounded operators and physical applications: a survey
2009
After a historical introduction on the standard algebraic approach to quantum mechanics of large systems we review the basic mathematical aspects of the algebras of unbounded operators. After that we discuss in some details their relevance in physical applications.
Designed Examples as Mediating Tools: Introductory Algebra in Two Norwegian Grade 8 Classrooms
2019
A critical element in the introduction of algebra is to focus student attention on the basic ideas of algebraic reasoning including the use of concepts such as variable and algebraic expression. In the Norwegian classrooms, representing a student-centered instructional philosophy, the teachers utilized examples and problems that they themselves had designed, and the examples involved resources such as concrete objects and body movements in order to make algebra accessible to students. When designing these examples, teachers thus used their own previous experiences of teaching algebra in an attempt to articulate the passage from arithmetic to algebra.
Applications of the Connection between Approximation Theory and Algebra
2009
The aim of this paper is to illustrate a possibility of obtaining various theoretical results using the connection between multivariate interpolation and reduction process with respect to a H-basis of an ideal. Using this connection we can switch between interpolation theory and the theory of ideals. As a application of this connection, we found and proved an interesting identity, which is satisfied for all polynomials in d variables from an interpolation polynomial subspace.
The History of Algebra in Mathematics Education
2006
In this chapter, we analyse key issues in algebra history from which some lessons can be extracted for the future of the teaching and learning of algebra. A comparative analysis of two types of pre-Vietan languages (before 16th century), and of the corresponding methods to solve problems, leads to conjecture the presence of didactic obstacles of an epistemological origin in the transition from arithmetic to algebraic thinking. This illustrates the value of historic and critical analysis for basic research design in mathematics education. Analysing the interrelationship between different evolution stages of the sign system of symbolic algebra and vernacular language supports the inference th…
Numerical evaluation of multiple polylogarithms
2004
Multiple polylogarithms appear in analytic calculations of higher order corrections in quantum field theory. In this article we study the numerical evaluation of multiple polylogarithms. We provide algorithms, which allow the evaluation for arbitrary complex arguments and without any restriction on the weight. We have implemented these algorithms with arbitrary precision arithmetic in C++ within the GiNaC framework.
On Meet-Complements in Cohn Geometries
1993
Within the frame of projective lattice geometry, the present paper investigates classes of meet-complements in Cohn geometries and especially in Ore and Bezout geometries. The algebraic background of these geometries is given by torsion free modules over domains — in particular Ore and Bezout domains. 1
Properties of Generalized Polynomial Spaces in Three Variables
2009
Multivariate interpolation is a topic which often appears in practical modeling problems. Different type of spaces of functions are used for solving interpolation problems. When the interpolation conditions are of different kind, by example, spacial and temporal, one possibility for modeling the problem is to use a generalize degree, in which the monomials exponents are weighted with a weight vector with integer components. In order to use such a generalize polynomial space as interpolation space, it is necessary to know the dimension and a basis of it. The aim of this article is to study and prove many properties of the generalize polynomial spaces in three variables.
One-loop integrals with XLOOPS-GiNaC
2001
We present a new algorithm for the reduction of one-loop tensor Feynman integrals within the framework of the XLOOPS project, covering both mathematical and programming aspects. The new algorithm supplies a clean way to reduce the one-loop one-, two- and three-point Feynman integrals with arbitrary tensor rank and powers of the propagators to a basis of simple integrals. We also present a new method of coding XLOOPS in C++ using the GiNaC library.
Partial {$*$}-algebras of closable operators. II. States and representations of partial {$*$}-algebras
1991
This second paper on partial Op*-algebras is devoted to the theory of representations. A new definition of invariant positive sesquilinear forms on partial *-algebras is proposed, which enables to perform the familiar GNS construction. In order to get a better control of the corresponding representations, we introduce and study a restricted class of partial Op*-algebras, called partial GW*-algebras, which turn up naturally in a number of problems. As an example, we extend Powers' results about the standardness of GNS representations of abelian partial *-algebras.
Some Problems on Homomorphisms and Real Function Algebras
2001
In this paper we solve a problem about the representation of all homomorphisms on a real function algebra as point evaluations and another two about function algebras in which homomorphisms are point evaluations on sequences in the algebra.