Results 21 to 30 of about 450,827 (278)
Formalization and Implementation of Algebraic Methods in Geometry [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools.
Filip Marić +3 more
doaj +1 more source
Solution Bounds and Numerical Methods of the Unified Algebraic Lyapunov Equation
Mathematics, 2022 In this paper, applying some properties of matrix inequality and Schur complement, we give new upper and lower bounds of the solution for the unified algebraic Lyapunov equation that generalize the forms of discrete and continuous Lyapunov matrix ...
Juan Zhang, Shifeng Li, Xiangyang Gan
doaj +1 more source
A Computer Algebra System for R: Macaulay2 and the m2r Package
Journal of Statistical Software, 2020 Algebraic methods have a long history in statistics. Apart from the ubiquitous applications of linear algebra, the most visible manifestations of modern algebra in statistics are found in the young field of algebraic statistics, which brings tools from ...
David Kahle +2 more
doaj +1 more source
Nontrivial solutions of linear functional equations: methods and examples [PDF]
Opuscula Mathematica, 2015 For a wide class of linear functional equations the solutions are generalized polynomials. The existence of non-trivial monomial terms of the solution strongly depends on the algebraic properties of some related families of parameters.
Adrienn Varga, Csaba Vincze
doaj +1 more source
Algebraic Methods for Traffic Flow Densities Estimation
Cybernetics and Information Technologies, 2013 An estimation approach that allows recovering of the traffic state is proposed in this paper. The method used is based on numerical differentiation, which does not need any integration of differential equations and turns out to be quite robust with ...
Abouaïssa H., Iordanova V.
doaj +1 more source
A Granular Computing Based Classification Method From Algebraic Granule Structure
IEEE Access, 2021 Classification, as one of the main task of machine learning, corresponds to the core work of granular computing, namely granulation. Most of granular computing models and related classification methods are uniquely classifying by granule features, but ...
Linshu Chen +4 more
doaj +1 more source
Computational algebraic methods in efficient estimation
, 2014 A strong link between information geometry and algebraic statistics is made by investigating statistical manifolds which are algebraic varieties. In particular it it shown how first and second order efficient estimators can be constructed, such as bias ...
AP Dawid +13 more
core +1 more source
Stochastic Runge–Kutta methods for multi-dimensional Itô stochastic differential algebraic equations
Results in Applied Mathematics, 2021 In this paper, we discuss the numerical solutions to index 1 stochastic differential algebraic equations. We introduce a new class of weak second-order stochastic Runge–Kutta methods for finding the numerical approximate solutions to multi-dimensional ...
Priya Nair, Anandaraman Rathinasamy
doaj +1 more source
Algebraic Methods in the Congested Clique
, 2015 In this work, we use algebraic methods for studying distance computation and subgraph detection tasks in the congested clique model. Specifically, we adapt parallel matrix multiplication implementations to the congested clique, obtaining an $O(n^{1-2 ...
Aho Alfred V. +7 more
core +1 more source
Algebraic Multilevel Preconditioning Methods, II
SIAM Journal on Numerical Analysis, 1989 A recursive way of constructing preconditioning matrices for the stiffness matrix in the discretization of selfadjoint second order elliptic boundary value problems is proposed. It is based on a sequence of nested finite element spaces with the usual nodal basis functions.
Axelsson, A.O.H., Vassilevski, P.S.
openaire +2 more sources