Sciweavers

3454 search results - page 39 / 691
» Modern computer algebra
Sort
View
ISSAC
2007
Springer
83views Mathematics» more  ISSAC 2007»
14 years 4 months ago
Parallel computation of the rank of large sparse matrices from algebraic K-theory
This paper deals with the computation of the rank and some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in the ...
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pasc...
CALCO
2009
Springer
159views Mathematics» more  CALCO 2009»
14 years 4 months ago
Complete Iterativity for Algebras with Effects
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
Stefan Milius, Thorsten Palm, Daniel Schwencke
CORR
2004
Springer
166views Education» more  CORR 2004»
13 years 10 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
PPSC
1997
13 years 11 months ago
ScaLAPACK: A Linear Algebra Library for Message-Passing Computers
This article outlines the content and performance of some of the ScaLAPACK software. ScaLAPACK is a collection of mathematical software for linear algebra computations on distribu...
L. Susan Blackford, Jaeyoung Choi, Andrew J. Clear...
ICMS
2010
13 years 8 months ago
Exact Geometric and Algebraic Computations in CGAL
We summarize recent progress and on-going developments for exact geometric and algebraic computations within the Computational Geometry Algorithms Library (Cgal). We detail the exi...
Menelaos I. Karavelas