Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Structure: Internal structure identifier ×
All ×
9 results
save search
Document types
Minimize
Journal articles
(4)
Conference papers
(2)
Software
(1)
Theses
(1)
Preprints, Working Papers, ...
(1)
Author
Minimize
Evelyne Hubert
(3)
George Labahn
(3)
Clément Pernet
(2)
Vincent Neiger
(2)
Arne Storjohann
(1)
Arne Storjohann
(1)
Brice Boyer
(1)
Claude-Pierre Jeannerod
(1)
George Labahn
(1)
Gilles Villard
(1)
Jean-Guillaume Dumas
(1)
Mark Giesbrecht
(1)
Pascal Giorgi
(1)
The Linbox Group
(1)
Wayne Eberly
(1)
Wei Zhou
(1)
Wei Zhou
(1)
Subject field
Minimize
Computer Science [cs]
(9)
Laboratory
Minimize
Symbolic Computation Group
(9)
Inria Grenoble - Rhône-Alpes
(5)
Laboratoire de l'Informatique du Parallélisme
(5)
Inria Sophia Antipolis - Méditerranée
(3)
Laboratoire Jean Kuntzmann
(2)
Laboratoire d'Informatique de Grenoble
(2)
David R. Cheriton School of Computer Science
(1)
Department of Computer Science [Calgary]
(1)
Department of Computer and Information Sciences [Newark]
(1)
Department of Mathematics [Raleigh]
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratoire de Physique Appliquée et d'Automatique
(1)
Language
Minimize
English
(8)
Unknown or Invalid Language
(1)
Type of deposit
Minimize
Fulltext
(9)
Year
Minimize
2019
(1)
2017
(1)
2016
(2)
2013
(2)
2012
(1)
2009
(1)
2006
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author : ORCID (string)
Author: function
Author: personID (integer)
Author: (FormID-PersonID)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
hal-00841300
v1
Journal articles
Claude-Pierre Jeannerod
,
Clément Pernet
,
Arne Storjohann
.
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
Journal of Symbolic Computation
, Elsevier, 2013, 56, pp.46-68.
⟨10.1016/j.jsc.2013.04.004⟩
hal-01345627
v2
Journal articles
George Labahn
,
Vincent Neiger
,
Wei Zhou
.
Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix
Journal of Complexity
, Elsevier, 2017,
⟨10.1016/j.jco.2017.03.003⟩
hal-00163141
v5
Conference papers
Brice Boyer
,
Jean-Guillaume Dumas
,
Clément Pernet
,
Wei Zhou
.
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation
, Jul 2009, Séoul, South Korea. pp.55-62,
⟨10.1145/1576702.1576713⟩
hal-00021456
v1
Preprints, Working Papers, ...
Wayne Eberly
,
Mark Giesbrecht
,
Pascal Giorgi
,
Arne Storjohann
,
Gilles Villard
.
Solving Sparse Integer Linear Systems
2006
tel-01431413
v1
Theses
Vincent Neiger
.
Bases of relations in one or several variables: fast algorithms and applications
Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English.
⟨NNT : 2016LYSEN052⟩
hal-02130801
v1
Software
The Linbox Group
.
LinBox
2019,
⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩
hal-00921905
v4
Journal articles
Evelyne Hubert
,
George Labahn
.
Computing the Invariants of Finite Abelian Groups
Mathematics of Computation
, American Mathematical Society, 2016, 85 (302), pp.3029-3050.
⟨10.1090/mcom/3076⟩
hal-00668882
v2
Journal articles
Evelyne Hubert
,
George Labahn
.
Scaling Invariants and Symmetry Reduction of Dynamical Systems
Foundations of Computational Mathematics
, Springer Verlag, 2013, 13 (4), pp.479-516.
⟨10.1007/s10208-013-9165-9⟩
hal-00657991
v1
Conference papers
Evelyne Hubert
,
George Labahn
.
Rational invariants of scalings from Hermite normal forms
International Conference on Symbolic and Algebraic Computation (ISSAC)
, Jul 2012, Grenoble, France. pp.219-226,
⟨10.1145/2442829.2442862⟩
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.