Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
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 structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Les Filtres
Filters
Author: IdHal (string) ×
All ×
13 results
save search
Document types
Minimize
Journal articles
(5)
Conference papers
(4)
Reports
(4)
Author
Minimize
Rémi Imbach
(13)
Pascal Mathis
(5)
Guillaume Moroz
(5)
Marc Pouget
(7)
Pascal Schreck
(5)
Chee Yap
(2)
Subject field
Minimize
Computer Science [cs]
(13)
Mathematics [math]
(1)
Laboratory
Minimize
Inria Nancy - Grand Est
(13)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(13)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(4)
Courant Institute of Mathematical Sciences [New York]
(3)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(2)
Language
Minimize
English
(13)
Type of deposit
Minimize
Fulltext
(9)
Notice
(4)
Year
Minimize
2020
(1)
2019
(1)
2018
(1)
2017
(2)
2016
(3)
2015
(2)
2014
(1)
2012
(1)
2011
(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
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
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-01825708
v3
Conference papers
Rémi Imbach
,
Marc Pouget
,
Chee Yap
.
Clustering Complex Zeros of Triangular System of Polynomials
CASC 2019 - 21st International Workshop on Computer Algebra in Scientific Computing
, Aug 2019, Moscow, Russia
hal-01293526
v2
Reports
Rémi Imbach
.
A Subdivision Solver for Systems of Large Dense Polynomials
[Technical Report] RT-0476, INRIA Nancy. 2016, pp.13
hal-01135230
v3
Reports
Rémi Imbach
,
Pascal Mathis
,
Pascal Schreck
.
A Robust and Efficient Method for Solving Point Distance Problems by Homotopy
[Research Report] RR-8705, INRIA. 2016
hal-02077912
v1
Journal articles
Rémi Imbach
,
Pascal Mathis
,
Pascal Schreck
.
A robust and efficient method for solving point distance problems by homotopy
Mathematical Programming
, Springer Verlag, 2017, 163 (1-2), pp.115-144.
⟨10.1007/s10107-016-1058-7⟩
hal-02077922
v1
Conference papers
Pascal Mathis
,
Pascal Schreck
,
Rémi Imbach
.
Decomposition of geometrical constraint systems with reparameterization
SAC '12 - Proceedings of the 27th Annual ACM Symposium on Applied Computing
, Mar 2012, Trento, France. pp.102-108,
⟨10.1145/2245276.2245298⟩
hal-02077924
v1
Conference papers
Rémi Imbach
,
Pascal Mathis
,
Pascal Schreck
.
Tracking Method for Reparametrized Geometrical Constraint Systems
SYNASC 2011 - 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
, Sep 2011, Timisoara, Romania. pp.31-38,
⟨10.1109/SYNASC.2011.26⟩
hal-02878388
v1
Journal articles
Rémi Imbach
,
Marc Pouget
,
Chee Yap
.
Clustering Complex Zeros of Triangular Systems of Polynomials
Mathematics in Computer Science
, Springer, 2020,
⟨10.1007/s11786-020-00482-0⟩
hal-02077917
v1
Journal articles
Rémi Imbach
,
Pascal Schreck
,
Pascal Mathis
.
Leading a continuation method by geometry for solving geometric constraints
Computer-Aided Design
, Elsevier, 2014, 46, pp.138-147.
⟨10.1016/j.cad.2013.08.026⟩
hal-01239447
v1
Conference papers
Rémi Imbach
,
Guillaume Moroz
,
Marc Pouget
.
Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve
Proceedings of the 6th International Conferences on Mathematical Aspects of Computer and Information Sciences
, Oct 2015, Berlin, Germany
hal-01093040
v3
Reports
Rémi Imbach
,
Guillaume Moroz
,
Marc Pouget
.
Numeric certified algorithm for the topology of resultant and discriminant curves
[Research Report] RR-8653, Inria. 2015
hal-01920444
v1
Journal articles
Rémi Imbach
,
Guillaume Moroz
,
Marc Pouget
.
Reliable Location with Respect to the Projection of a Smooth Space Curve
Reliable Computing
, Springer Verlag, 2018, 26, pp.13-55
hal-01402194
v1
Journal articles
Rémi Imbach
,
Guillaume Moroz
,
Marc Pouget
.
A certified numerical algorithm for the topology of resultant and discriminant curves
Journal of Symbolic Computation
, Elsevier, 2016, 80, Part 2, pp.285--306.
⟨10.1016/j.jsc.2016.03.011⟩
hal-01632344
v1
Reports
Rémi Imbach
,
Guillaume Moroz
,
Marc Pouget
.
Reliable location with respect to the projection of a smooth space curve
[Research Report] INRIA. 2017
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
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.