1390 search results - page 8 / 278 » On the Algebraic Structure of Convergence |
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
AISC
2004
Springer
15 years 1 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
119
click to vote
LICS
2000
IEEE
15 years 1 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
LSSC
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we analyze a quasi-Monte Carlo method for solving systems of linear algebraic equations. It is well known that the convergence of Monte Carlo methods for numerical in...