HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am.
More information
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
Sub-domain level 1 ×
All ×
997 results
save search
Document types
Minimize
Conference papers
(401)
Journal articles
(327)
Preprints, Working Papers, ...
(83)
Reports
(63)
Book sections
(36)
Theses
(29)
Directions of work or proceedings
(12)
Habilitation à diriger des recherches
(9)
Other publications
(9)
Books
(9)
Master thesis
(6)
Software
(5)
Lectures
(4)
Documents associated with scientific events
(3)
Videos
(1)
Author
Minimize
Simon Abelard
(7)
Oana Andrei
(7)
Daniel Augot
(5)
Axel Barrau
(5)
Erick Rodriguez Bazan
(5)
Matías Bender
(6)
Jérémy Berthomieu
(8)
Alin Bostan
(62)
François Boulier
(6)
François Boulier
(37)
Yacine Bouzidi
(28)
Brice Boyer
(5)
Nicolas Brisebarre
(7)
Laurent Busé
(50)
Xavier Caruso
(11)
Frédéric Chyzak
(28)
Guillaume Chèze
(6)
Thomas Cluzeau
(18)
Carlos d'Andrea
(6)
Roudy Dagher
(8)
Marie-Dominique Devignes
(8)
Mohab Safey El Din
(13)
Mohab Safey El Din
(30)
Jean-Guillaume Dumas
(42)
Christian Eder
(5)
Mohamed Elkadi
(9)
Ioannis Z. Emiris
(19)
Matthew England
(6)
Jean-Charles Faugère
(46)
André Galligo
(17)
Khalil Ghorbal
(8)
Marc Giusti
(6)
Guillaume Hanrot
(6)
Didier Henrion
(6)
Hoon Hong
(9)
Elisa Hubert
(7)
Evelyne Hubert
(26)
Claude-Pierre Jeannerod
(14)
Fredrik Johansson
(6)
Mioara Joldeş
(7)
Bert Jüttler
(11)
Erich Kaltofen
(7)
Manuel Kauers
(6)
Hélène Kirchner
(6)
Pascal Koiran
(7)
Pierre Lairez
(9)
Sylvain Lazard
(7)
Grégoire Lecerf
(12)
François Lemaire
(30)
Victor Magron
(7)
Angelos Mantzaflaris
(32)
Hervé Marchand
(6)
Marc Moreno Maza
(10)
Nizar Messai
(8)
Marc Mezzarobba
(13)
Guillaume Moroz
(21)
Bernard Mourrain
(40)
Amedeo Napoli
(8)
Vincent Neiger
(11)
Carlos Olarte
(7)
François Ollivier
(8)
Victor Y. Pan
(8)
Clément Pernet
(32)
Ludovic Perret
(6)
Michel Petitot
(9)
Adrien Poteaux
(16)
Marc Pouget
(15)
Arnaud Quadrat
(6)
Alban Quadrat
(60)
Guillaume Quintin
(5)
Hamid Rahkooy
(12)
Guillaume Rance
(5)
Guénaël Renault
(15)
Damien Robert
(8)
Jean-Louis Roch
(9)
Fabrice Rouillier
(43)
Camilo Rueda
(5)
Bruno Salvy
(44)
B. David Saunders
(5)
Eric Schost
(9)
Éric Schost
(27)
Peter Schrammel
(6)
Alexandre Sedoglavic
(14)
Werner Seiler
(6)
Malika Smaïl-Tabbone
(8)
Andrew Sogokon
(6)
Pierre-Jean Spaenlehauer
(19)
Arne Storjohann
(6)
Nicolas Stouls
(12)
Sorin Stratulat
(9)
Thomas Sturm
(26)
Emmanuel Thomé
(8)
Elias Tsigaridas
(8)
Elias Tsigaridas
(48)
Tristan Vaccon
(6)
Frank D. Valencia
(6)
Gilles Villard
(26)
Dongming Wang
(18)
Jing Yang
(5)
Lihong Zhi
(6)
Subject field
Minimize
Computer Science [cs]
(997)
Mathematics [math]
(320)
Life Sciences [q-bio]
(32)
Engineering Sciences [physics]
(28)
Physics [physics]
(4)
Cognitive science
(4)
Nonlinear Sciences [physics]
(3)
Statistics [stat]
(2)
Chemical Sciences
(1)
Environmental Sciences
(1)
Laboratory
Minimize
Inria Sophia Antipolis - Méditerranée
(199)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(159)
Inria Paris-Rocquencourt
(149)
Inria Saclay - Ile de France
(139)
Laboratoire d'Informatique de Paris 6
(138)
Inria Grenoble - Rhône-Alpes
(133)
Laboratoire de l'Informatique du Parallélisme
(112)
Inria Nancy - Grand Est
(110)
Inria de Paris
(100)
Laboratoire d'Informatique Fondamentale de Lille
(61)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(55)
Inria Lille - Nord Europe
(52)
INRIA Lorraine
(51)
Laboratoire Jean Kuntzmann
(49)
Laboratoire d'Informatique de Grenoble
(42)
Max-Planck-Institut für Informatik
(40)
XLIM
(36)
LIP6
(35)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(34)
Inria Rennes – Bretagne Atlantique
(34)
Institut de Mathématiques de Jussieu - Paris Rive Gauche
(34)
Institut de Recherche en Informatique et Systèmes Aléatoires
(31)
Inria Bordeaux - Sud-Ouest
(27)
Institut de Mathématiques de Bordeaux
(26)
Laboratoire Jean Alexandre Dieudonné
(24)
Johann Radon Institute for Computational and Applied Mathematics
(21)
Laboratoire des signaux et systèmes
(19)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(16)
Department of Computer Science
(15)
CITI Centre of Innovation in Telecommunications and Integration of services
(14)
Laboratoire d'analyse et d'architecture des systèmes
(14)
Department of Mathematics [Raleigh]
(12)
Institut de Mathématiques de Toulouse UMR5219
(12)
Institut de Recherche Mathématique de Rennes
(11)
Institute of Applied Geometry [Linz]
(11)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(11)
Computer Science Department
(10)
Key Laboratory of Mathematics Mechanization
(10)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(10)
Laboratoire de Mathématiques de Versailles
(10)
Microsoft Research - Inria Joint Centre
(10)
Ontario Research Center for Computer Algebra
(10)
Department of Mathematics and Computer Science [Lehman]
(9)
Institut de Mathématiques de Jussieu
(9)
VERIMAG
(9)
Research Institute for Symbolic Computation
(8)
Symbolic Computation Group
(8)
Department of mathematics [North Carolina]
(7)
Laboratoire d'Analyse des Signaux et des Processus Industriels
(7)
Laboratoire de Modélisation et Calcul
(7)
Institut de Recherche Mathématique Avancée
(6)
Cheriton School of Computer Science [Waterloo]
(5)
David R. Cheriton School of Computer Science
(5)
Department of Computer and Information Sciences [Newark]
(5)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(5)
Informatique et Distribution
(5)
Institute for Applied Geometry
(5)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(5)
Laboratoire de Mathématiques Appliquées du Havre
(5)
Sciences et Technologies de la Musique et du Son
(5)
Departamento de Matemática [Buenos Aires]
(4)
Department of Computer Science [Aarhus]
(4)
Department of Computer Science and Engineering [Bologna]
(4)
Institut Fourier
(4)
Institut de recherche en informatique de Toulouse
(4)
Institut für Mathematik [Berlin]
(4)
Laboratoire d'Informatique de Paris-Nord
(4)
Laboratoire de Physique des Lasers, Atomes et Molécules - UMR 8523
(4)
Laboratoire de Recherche en Informatique
(4)
School of Computer Science [Waterloo]
(4)
School of Mathematics and Systems Science
(4)
Courant Institute of Mathematical Sciences [New York]
(3)
Department of Computer Science [Calgary]
(3)
Department of Mathematics [Berkeley]
(3)
Department of Mathematics and Computer Science
(3)
Department of Physics and Computer Science [Waterloo]
(3)
Fachbereich Mathematik [Kaiserslautern]
(3)
Institut für Mathematik [Kassel]
(3)
LPHI - Laboratory of Pathogen Host Interactions
(3)
Laboratoire Bordelais de Recherche en Informatique
(3)
Laboratoire Paul Painlevé - UMR 8524
(3)
Laboratoire d'Informatique Gaspard-Monge
(3)
Laboratoire d'Informatique Théorique et Appliquée
(3)
Laboratory of Advanced Software SYstems [Luxembourg]
(3)
School of Computer Science and Engineering [Beijing]
(3)
Departamento de Álgebra [Madrid]
(2)
Department of Applied Mathematics and Computer Science [Lyngby]
(2)
Department of Computer Science [Bath]
(2)
Department of Mathematics [Rikkyo]
(2)
Department of Mathematics [Zagreb]
(2)
Department of Science and Engineering Computing
(2)
Différenciation et communication neuronale et neuroendocrine
(2)
Dipartimento di Informatica [Torino]
(2)
Electronique, Informatique, Automatique et Systèmes
(2)
Faculty of Engineering, Environment and Computing [Coventry]
(2)
Groupe Aleph et Géode
(2)
Inria Chile
(2)
Institut Camille Jordan [Villeurbanne]
(2)
Institut de Mathématiques de Bourgogne [Dijon]
(2)
Institut de Recherche en Communications et en Cybernétique de Nantes
(2)
Institut de Recherche en Informatique Fondamentale
(2)
Institut für Regelungstechnik und Prozessautomatisierung
(2)
Institute for Computing Systems Architecture School of Informatics - University of Edinburgh
(2)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(2)
Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(2)
Laboratoire Spécification et Vérification
(2)
Laboratoire VeriForm - Department of Computer Engineering
(2)
Laboratoire d'Algorithmique Complexité et Logique
(2)
Laboratoire d'Informatique de Nantes Atlantique
(2)
Laboratoire d'informatique de l'école normale supérieure
(2)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(2)
Laboratoire de Géométrie Algébrique et Applications à la Théorie de l'Information
(2)
Laboratoire de Mathématiques
(2)
Laboratoire de Mathématiques d'Orsay
(2)
Laboratoire de Physique Appliquée et d'Automatique
(2)
Laboratoire de cryptographie de l'ANSSI
(2)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
(2)
Max Planck Institute for Mathematics in the Sciences
(2)
Microsoft Research [Redmond]
(2)
Oberthur Card Systems - Puteaux
(2)
Polytechnic institute of New York University
(2)
Preuves, Programmes et Systèmes
(2)
RWTH Aachen University, Lehrstuhl B für Mathematik
(2)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(2)
Warwick Mathematics Institute
(2)
Ambientes VISuales de Progamación Aplicativa
(1)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(1)
Center for Graphics and Geometric Computing
(1)
Centre d'Economie de l'Université Paris Nord
(1)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(1)
Centre de Recherche Nucléaire d'Alger
(1)
Centre for Advanced Computing Algorithms and Cryptography
(1)
Centre for Mathematical Sciences, Lund University
(1)
Centrum voor Wiskunde en Informatica
(1)
Computational Biology Research Center
(1)
Computer, Electrical and Mathematical Sciences & Engineering [Thuwal]
(1)
Czech Institute of Informatics, Robotics and Cybernetics [Prague]
(1)
Departament d'Algebra i Geometria
(1)
Departamento de Computación [Buenos Aires]
(1)
Departamento de Electrónica, Pontificia Universidad Javeriana
(1)
Departamento de Ingeniería Electrónica [Madrid]
(1)
Departamento de Matematica [Recife]
(1)
Departamento de Matemáticas del Cinvestav-IPN
(1)
Departement of Mathematics
(1)
Department of Applied Mathematics [Heraklion]
(1)
Department of Compter Science
(1)
Department of Computer Science - K.U.Leuven
(1)
Department of Computer Science [Hong Kong]
(1)
Department of Computer Science [Oxford]
(1)
Department of Computer Science and Engineering [Göteborg]
(1)
Department of Computer Science and Engineering [HKUST]
(1)
Department of Computer and Information Science
(1)
Department of Engineering [Cambridge]
(1)
Department of Information Engineering [Hong Kong]
(1)
Department of Information and Communications Engineering [Murcia]
(1)
Department of Mathematics
(1)
Department of Mathematics City University of Hong Kong
(1)
Department of Mathematics [Burnaby]
(1)
Department of Mathematics [Chicago]
(1)
Department of Mathematics [Davis]
(1)
Department of Mathematics [New York CUNY]
(1)
Department of Mathematics [Raleigh NC]
(1)
Department of Mathematics [Taiyuan]
(1)
Department of Mathematics [Tallahassee, FL]
(1)
Department of Mathematics [Uppsala]
(1)
Department of Mathematics [Urbana]
(1)
Department of Mathematics and Computer Science | Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari"
(1)
Department of Mathematics and Informatics [Vilnius]
(1)
Department of computer Science [Houston]
(1)
Dept. Matemática Aplicada y Ciencias de la Computación
(1)
Dipartimento di Informatica [Pisa]
(1)
Dipartimento di Matematica "Ulisse Dini"
(1)
Dipartimento di Matematica e Informatica [Camerino]
(1)
Dipartimento di Matematica e Informatica [Firenze]
(1)
Dipartimento di Scienze dell'Informazione [Bologna]
(1)
Dipartimento di Sistemi e Informatica
(1)
Dynamique des interactions membranaires normales et pathologiques
(1)
Département STIC [Brest]
(1)
Développement et amélioration des plantes
(1)
ECS Department - University of Southampton
(1)
Ecole Centrale de Pékin
(1)
Escuela de Ingenieria de Sistemas y Computacion
(1)
Fachbereich Informatik - Oldenburg
(1)
Faculty of Computer Science
(1)
Felix Klein Centre for Mathematics
(1)
GemAlto Research Labs
(1)
Gemalto [Meudon]
(1)
Gestion Industrielle Logistique et Conception
(1)
Google Inc [Mountain View]
(1)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(1)
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
(1)
Hausdorff Center for Mathematics and Institute for Numerical Simulation - University of Bonn
(1)
INRIA Futurs
(1)
INRIA Rocquencourt
(1)
Informatique, Biologie Intégrative et Systèmes Complexes
(1)
Institut Charles Delaunay
(1)
Institut Universitaire Technologique de Nîmes
(1)
Institut d'Informatique et de Mathématiques Appliquées de Grenoble
(1)
Institut de mathématiques de Luminy
(1)
Institut für Informatik II [Bonn]
(1)
Language
Minimize
English
(936)
French
(55)
Unknown or Invalid Language
(5)
German
(1)
Keyword
Minimize
Computer algebra
(41)
Complexity
(30)
Algorithms
(22)
Symbolic computation
(20)
Type of deposit
Minimize
Fulltext
(764)
Notice
(231)
Annex
(2)
Year
Minimize
2022
(22)
2021
(75)
2020
(62)
2019
(53)
2018
(54)
2017
(62)
2016
(76)
2015
(51)
2014
(60)
2013
(73)
2012
(62)
2011
(51)
2010
(50)
2009
(52)
2008
(36)
2007
(43)
2006
(33)
2005
(17)
2004
(8)
2003
(15)
2002
(6)
2001
(8)
2000
(9)
1999
(7)
1998
(3)
1997
(5)
1996
(2)
1995
(1)
1992
(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: function
Author: idHal (integer)
Author: Identifier
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
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
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-01413593
v1
Reports
Thomas Cluzeau
,
Alban Quadrat
.
Equivalences of linear functional systems
[Research Report] RR-9000, Inria Lille - Nord Europe; University of Limoges, France. 2016, pp.29
hal-01413907
v1
Reports
Alban Quadrat
,
Georg Regensburger
.
Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients
[Research Report] RR-9002, Inria Lille - Nord Europe; Institute for Algebra, Johannes Kepler University Linz. 2016, pp.24
hal-01114187
v1
Conference papers
François Boulier
,
Anja Korporal
,
François Lemaire
,
Wilfrid Perruquetti
,
Adrien Poteaux
et al.
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data
Computer Algebra in Scientific Computing
, Sep 2014, Warsaw, Poland. pp.28 - 43
hal-01667161
v1
Conference papers
Yacine Bouzidi
,
Thomas Cluzeau
,
Guillaume Moroz
,
Alban Quadrat
.
Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control
, Jul 2017, Toulouse, France. pp.1847 - 1852,
⟨10.1016/j.ifacol.2017.08.200⟩
hal-01415256
v1
Conference papers
Alban Quadrat
,
Rosane Ushirobira
.
Algebraic analysis for the Ore extension ring of differential time-varying delay operators
22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS)
, Jul 2016, Minneapolis, United States. pp.8
hal-01366202
v1
Conference papers
Yacine Bouzidi
,
Fabrice Rouillier
.
Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters
MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems
, Jul 2016, Minneapolis, United States
hal-00139667
v1
Conference papers
François Boulier
,
Marc Lefranc
,
François Lemaire
,
Pierre-Emmanuel Morant
,
Asli Ürgüplü
.
On proving the absence of oscillations in models of genetic circuits
Second International Conference, AB 2007
, Jul 2007, Hagenberg, Austria. pp.66-80,
⟨10.1007/978-3-540-73433-8⟩
hal-00213327
v2
Conference papers
François Boulier
,
Marc Lefranc
,
François Lemaire
,
Pierre-Emmanuel Morant
.
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits
AB 2008 - Third International Conference Algebraic Biology
, Jul 2008, Hagenberg, Austria. pp.56-64,
⟨10.1007/978-3-540-85101-1_5⟩
hal-01780909
v1
Conference papers
François Boulier
.
On the Parameter Estimation Problem for Integro-Differential Models
AADIOS @ ACA 2018
, Jun 2018, Santiago de Compostela, Spain
hal-01889825
v1
Other publications
François Boulier
,
François Fages
,
Ovidiu Radulescu
,
Satya Samal
,
Andreas Schuppert
et al.
The SYMBIONT Project: Symbolic Methods for Biological Networks
2018
hal-01825191
v1
Preprints, Working Papers, ...
François Boulier
.
The Management of Parameters in the MAPLE DifferentialAlgebra Package
2018
hal-00184558
v1
Preprints, Working Papers, ...
François Boulier
,
Marc Lefranc
,
François Lemaire
,
Pierre-Emmanuel Morant
.
Model Reduction of Chemical Reaction Systems using Elimination
2007
hal-00824993
v1
Journal articles
François Boulier
,
Marc Lefranc
,
François Lemaire
,
Pierre-Emmanuel Morant
.
Model Reduction of Chemical Reaction Systems using Elimination
Mathematics in Computer Science
, Springer, 2011, 5, pp.289-301
hal-01415282
v1
Conference papers
Yacine Bouzidi
,
Adrien Poteaux
,
Alban Quadrat
.
Computer algebra methods for the stability analysis of differential systems with commensurate time-delays
13th IFAC Workshop on Time Delay Systems
, Jun 2016, Istanbul, Turkey. pp.6
hal-02881339
v1
Journal articles
Laurent Busé
.
Formulas for the eigendiscriminants of ternary and quaternary forms
Linear and Multilinear Algebra
, Taylor & Francis, In press
hal-01171249
v1
Reports
Jean-Guillaume Dumas
,
Erich Kaltofen
,
Emmanuel Thomé
.
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
[Research Report] Université Grenoble Alpes (UGA). 2015
hal-01417524
v1
Reports
Jean-Guillaume Dumas
,
Victor Pan
.
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
[Research Report] Université Grenoble Alpes (UGA). 2015
hal-03337115
v1
Reports
Pierre Bouvier
,
Hubert Garavel
.
The VLSAT-2 Benchmark Suite
[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
hal-03468625
v1
Reports
Pierre Bouvier
.
The VLSAT-3 Benchmark Suite
[Research Report] RT-0516, INRIA Grenoble Rhône-Alpes. 2021, pp.1-20
hal-03659476
v1
Journal articles
Apostolos Chalkis
,
Ioannis Z. Emiris
,
Vissarion Fisikopoulos
,
Panagiotis Repouskos
,
Elias Tsigaridas
.
Efficient sampling in spectrahedra and volume approximation
Linear Algebra and its Applications
, Elsevier, 2022,
⟨10.1016/j.laa.2022.04.002⟩
hal-00825853
v1
Book sections
M. Aigner
,
B. Jüttler
,
Adrien Poteaux
.
Approximate Implicitization of Space Curves
U. Langer and R. Corless and H. Hong and T. Ida and M. Kreuzer and B. Salvy and D. Wang and P. Paule.
Numerical and Symbolic Scientific Computing
, Springer Vienna, pp.1-19, 2012,
⟨10.1007/978-3-7091-0794-2_1⟩
hal-00512704
v1
Journal articles
Lisi d'Alfonso
,
Gabriella Jeronimo
,
François Ollivier
,
Alexandre Sedoglavic
,
Pablo Solernó
.
A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations
Journal of Symbolic Computation
, Elsevier, 2011, 46 (10), pp.1114-1138.
⟨10.1016/j.jsc.2011.05.012⟩
hal-00138020
v2
Conference papers
François Boulier
,
Daniel Lazard
,
François Ollivier
,
Michel Petitot
.
Representation for the radical of a finitely generated differential ideal
international symposium on Symbolic and algebraic computation 1995
, Jul 1995, France. pp.158-166,
⟨10.1145/220346.220367⟩
hal-00140006
v1
Preprints, Working Papers, ...
François Boulier
.
Triangularisation de systèmes de polynômes différentiels
2000
hal-00140368
v1
Preprints, Working Papers, ...
François Boulier
,
François Lemaire
,
Lilianne Denis-Vidal
,
Thibaut Henin
.
LEPISME
2005
ensl-00270753
v1
Journal articles
Gilles Villard
.
Differentiation of Kaltofen's division-free determinant algorithm
Journal of Symbolic Computation
, Elsevier, 2011, 46 (7), pp.773-790.
⟨10.1016/j.jsc.2010.08.012⟩
ensl-01345789
v3
Conference papers
Ignacio Garcia-Marco
,
Pascal Koiran
,
Timothée Pecatte
.
Reconstruction Algorithms for Sums of Affine Powers
International Symposium on Symbolic and Algebraic Computation (ISSAC)
, Jul 2017, Kaiserslautern, Germany
ensl-00744385
v1
Journal articles
Bruno Grenet
,
Pascal Koiran
,
Natacha Portier
.
On the Complexity of the Multivariate Resultant
Journal of Complexity
, Elsevier, 2013, 29 (2), p. 142-157.
⟨10.1016/j.jco.2012.10.001⟩
hal-00599440
v1
Conference papers
François Boulier
,
François Lemaire
,
Alexandre Sedoglavic
.
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
Computer Algebra in Scientific Computings
, Sep 2011, Kassel, Germany. pp.1-12
hal-00139738
v1
Conference papers
François Boulier
.
Efficient computation of regular differential systems by change of rankings using Kähler differentials
MEGA 2000
, 2000, Bath, United Kingdom
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
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.