<--- Back to Details
First PageDocument Content
Software / Application software / Mathematical software / Computer algebra / International Symposium on Symbolic and Algebraic Computation / SageMath / Algebra / Symbolic computation / Computer algebra system / Wolfram Mathematica / Parallel computing
Date: 2014-02-10 04:29:24
Software
Application software
Mathematical software
Computer algebra
International Symposium on Symbolic and Algebraic Computation
SageMath
Algebra
Symbolic computation
Computer algebra system
Wolfram Mathematica
Parallel computing

Three Research positions (engineer or postdoc) in the ANR HPAC project: Grenoble, Lyon and Paris, France Title: High-performance Algebraic Computing Keywords: parallel computing, computer algebra, linear algebra, C/C++ p

Add to Reading List

Source URL: hpac.gforge.inria.fr

Download Document from Source Website

File Size: 53,75 KB

Share Document on Facebook

Similar Documents

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

DocID: 1xVrQ - View Document

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary  From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

DocID: 1xVg5 - View Document

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

DocID: 1xV3t - View Document

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

DocID: 1xUMp - View Document

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

DocID: 1xUE0 - View Document