Search results for "algebra"

showing 10 items of 4129 documents

Iterationsverfahren höherer Ordnung in Banach-Räumen

1969

The Newton process for operator equations in say a linear normed complete space converges under certain hypothesis about the Frechet-derivatives of the operator with at least the order two. There are different ways to improve this Newton process. For instance you obtain a process of order three if you add a correction element containing the second Frechet-derivative of the operator [1]. In the following note we will generalize this idea. In a recursive manner -- by adding higher derivatives -- we will construct iterative processes of any orderk (k > 1). A general theorem due toCollatz provides us error estimates for this processes. Last we will illustrate the processes by several examples.

AlgebraComputational MathematicsOperator (computer programming)General theoremApplied MathematicsNumerical analysisProcess (computing)Order (group theory)Construct (python library)Element (category theory)Complete metric spaceMathematicsNumerische Mathematik
researchProduct

About Quotient Orders and Ordering Sequences

2017

Summary In preparation for the formalization in Mizar [4] of lotteries as given in [14], this article closes some gaps in the Mizar Mathematical Library (MML) regarding relational structures. The quotient order is introduced by the equivalence relation identifying two elements x, y of a preorder as equivalent if x ⩽ y and y ⩽ x. This concept is known (see e.g. chapter 5 of [19]) and was first introduced into the MML in [13] and that work is incorporated here. Furthermore given a set A, partition D of A and a finite-support function f : A → ℝ, a function Σ f : D → ℝ, Σ f (X)= ∑ x∈X f(x) can be defined as some kind of natural “restriction” from f to D. The first main result of this article ca…

AlgebraComputational Mathematicsordered finite sequencesquotient order03b35Applied MathematicsQA1-93906a05QuotientMathematicsMathematicsFormalized Mathematics
researchProduct

Quasi-Projective Varieties

2000

We have developed the theory of affine and projective varieties separately. We now introduce the concept of a quasi-projective variety, a term that encompasses both cases. More than just a convenience, the notion of a quasi-projective variety will eventually allow us to think of an algebraic variety as an intrinsically defined geometric object, free from any particular embedding in affine or projective space.

AlgebraComputer scienceAffine spaceEmbeddingProjective spaceAlgebraic varietyAffine transformationVariety (universal algebra)Projective testProjective variety
researchProduct

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.

AlgebraComputer scienceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputingMilieux_COMPUTERSANDEDUCATIONlanguageNorwegianAlgebraic expressionAlgebra over a fieldElement (category theory)language.human_languageAlgebraic reasoningVariable (mathematics)Focus (linguistics)
researchProduct

Algebra Without Context Is Empty, Visualizations Without Concepts Are Blind

2018

In the acquisition and formalization of mathematical concepts, the transition between algebraic and geometric representations and the use of different modes of representation contextualizes abstract algebra. Regrettably, the role of geometry is often limited to the visualization of algebraic facts and figurative memory aids. Such visualizations are blind for the underlying concepts, since transitions between concepts in different representations assume the existence of symbols, language, rules and operations in both systems. The history of mathematics offers contexts to develop geometrical language and intuition in areas currently being taught in school in a purely algebraic fashion. The ex…

AlgebraComputer scienceHistory of mathematicsGreek mathematicsContext (language use)Algebraic numberRepresentation (mathematics)Literal and figurative languageEngineering mathematicsAbstract algebra
researchProduct

Co-learning of total recursive functions

1994

AlgebraComputer scienceRecursive functionsProceedings of the seventh annual conference on Computational learning theory - COLT '94
researchProduct

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.

AlgebraComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONTrilinear interpolationBilinear interpolationLinear interpolationBirkhoff interpolationSpline interpolationMathematicsTrigonometric interpolationPolynomial interpolationInterpolation
researchProduct

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…

AlgebraConjectureMathematics educationPre-algebraBasis (universal algebra)Algebraic numberSymbolic computationValue (semiotics)Sign systemNatural languageMathematics
researchProduct

Counterexamples for unique continuation

1988

AlgebraContinuationNumber theoryGeneral MathematicsAlgebraic geometryAlgorithmMathematicsCounterexampleManuscripta Mathematica
researchProduct

Geometric interpretation of the optimality conditions in multifacility location and applications

1991

Geometrical optimality conditions are developed for the minisum multifacility location problem involving any norm. These conditions are then used to derive sufficient conditions for coincidence of facilities at optimality; an example is given to show that these coincidence conditions seem difficult to generalize.

AlgebraControl and OptimizationApplied MathematicsNorm (mathematics)Theory of computationCalculusGraph theoryDirected graphManagement Science and Operations ResearchCoincidenceMathematicsJournal of Optimization Theory and Applications
researchProduct