Search - Archive ouverte HAL Access content directly

Filter your results

69 Results
Structure: Internal structure identifier : 1060652
Image document

Singularity Analysis for the Perspective-Four and Five-Line Problems

Jorge García Fontán , Abhilash Nayak , Sébastien Briot , Mohab Safey El Din
International Journal of Computer Vision, 2022, 130, pp.909-932. ⟨10.1007/s11263-021-01567-4⟩
Journal articles hal-03499974v1
Image document

Homotopy techniques for solving sparse column support determinantal polynomial systems

George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu
Journal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
Journal articles hal-02927630v1

A New Perturbation for Multivariate Public Key Schemes such as HFE and UOV

Jean-Charles Faugère , Jacques Patarin , Ludovic Perret , Gilles Macario-Rat
2022
Preprints, Working Papers, ... hal-03920732v1
Image document

Cooperativity, absolute interaction, and algebraic optimization

Nidhi Kaihnsa , Yue Ren , Mohab Safey El Din , Johannes W R Martini
Journal of Mathematical Biology, In press, ⟨10.1007/s00285-020-01540-8⟩
Journal articles hal-02925505v1
Image document

Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results

Rémi Prébet , Mohab Safey El Din , Éric Schost
2022
Preprints, Working Papers, ... hal-03508000v2
Image document

Stability analysis of a bacterial growth model through computer algebra

Agustín Gabriel Yabo , Mohab Safey El Din , Jean-Baptiste Caillau , Jean-Luc Gouzé
2023
Preprints, Working Papers, ... hal-03671432v2
Image document

Complete Singularity Analysis for the Perspective-Four-Point Problem

Beatriz Pascual-Escudero , Abhilash Nayak , Sébastien Briot , Olivier Kermorgant , Philippe Martinet et al.
International Journal of Computer Vision, 2021, 129 (4), pp.1217-1237. ⟨10.1007/s11263-020-01420-0⟩
Journal articles hal-03070525v1
Image document

Robots, computer algebra and eight connected components

Jose Capco , Mohab Safey El Din , Josef Schicho
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
Conference papers hal-02925478v1

Real root finding for low rank linear matrices

Didier Henrion , Simone Naldi , Mohab Safey El Din
Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
Journal articles hal-01159210v2
Image document

Towards fast one-block quantifier elimination through generalised critical values

Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din
ACM Communications in Computer Algebra, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
Journal articles hal-02929626v1
Image document

Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics

Jose Capco , Mohab Safey El Din , Josef Schicho
Journal of Symbolic Computation, 2023, 115, pp.320-345. ⟨10.1016/j.jsc.2022.08.008⟩
Journal articles hal-03389500v1
Image document

Degree Bounds for Putinar's Positivstellensatz on the hypercube

Lorenzo Baldi , Lucas Slot
2023
Preprints, Working Papers, ... hal-04003633v1
Image document

On the degree of varieties of sum of squares

Andrew Ferguson , Giorgio Ottaviani , Mohab Safey El Din , Ettore Turatti
2022
Preprints, Working Papers, ... hal-03698213v1

Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients

Victor Magron , Mohab Safey El Din , Trung-Hieu Vu
SIAM Journal on Optimization, In press
Journal articles hal-03312392v1
Image document

Deep learning side-channel analysis on large-scale traces

Loïc Masure , Nicolas Belleville , Eleonora Cagli , Marie-Angela Cornélie , Damien Couroussé et al.
ESORICS 2020: Computer Security, Sep 2020, Guildford, United Kingdom. pp.440-460, ⟨10.1007/978-3-030-58951-6_22⟩
Conference papers cea-03483683v1
Image document

A Direttissimo Algorithm for Equidimensional Decomposition

Christian Eder , Pierre Lairez , Rafael Mohr , Mohab Safey El Din
2023
Preprints, Working Papers, ... hal-04000248v1
Image document

Refined F5 Algorithms for Ideals of Minors of Square Matrices

Sriram Gopalakrishnan , Vincent Neiger , Mohab Safey El Din
2023
Preprints, Working Papers, ... hal-03983184v1
Image document

Algorithm for connectivity queries on real algebraic curves

Nazrul Islam , Adrien Poteaux , Rémi Prébet
2023
Preprints, Working Papers, ... hal-04000614v1

On Exact Reznick, Hilbert-Artin and Putinar's Representations

Victor Magron , Mohab Safey El Din
Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
Journal articles hal-01935727v1
Image document

Computing critical points for invariant algebraic systems

Jean-Charles Faugère , George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu et al.
Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩
Journal articles hal-02927636v1
Image document

On solving parametric polynomial systems and quantifier elimination over the reals : algorithms, complexity and implementations

Huu Phuoc Le
Symbolic Computation [cs.SC]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS554⟩
Theses tel-03882037v2

Special Issue on Symbolic and Algebraic Computation: ISSAC 2017

Mohab Safey El Din , Chee Yap
Journal of Symbolic Computation, 98, 2020, ⟨10.1016/j.jsc.2019.07.003⟩
Special issue hal-02862556v1
Image document

Beating binary powering for polynomial matrices

Alin Bostan , Vincent Neiger , Sergey Yurkevich
2023
Preprints, Working Papers, ... hal-03979664v1
Image document

Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials

Laurent Busé , Angelos Mantzaflaris , Elias Tsigaridas
Journal of Symbolic Computation, 2020, 98, pp.65-83. ⟨10.1016/j.jsc.2019.07.007⟩
Journal articles hal-01654263v1
Image document

msolve: A Library for Solving Polynomial Systems

Jérémy Berthomieu , Christian Eder , Mohab Safey El Din
2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩
Conference papers hal-03191666v3
Image document

On the Nonemptiness and Boundedness of Solution Sets of Weakly Homogeneous Optimization Problems

Trung-Hieu Vu
Set-Valued and Variational Analysis, 2022, 30 (3), pp.1105-1116. ⟨10.1007/s11228-022-00637-0⟩
Journal articles hal-03654665v1
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

Didier Henrion , Simone Naldi , Mohab Safey El Din
Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩
Journal articles hal-03121215v1
Image document

Random Probing Security: Verification, Composition, Expansion and New Constructions

Sonia Belaïd , Jean-Sébastien Coron , Emmanuel Prouff , Matthieu Rivain , Abdul Rahman Taleb et al.
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara, CA / Virtual, United States. pp.339-368, ⟨10.1007/978-3-030-56784-2_12⟩
Conference papers hal-02984491v1
Image document

On the computation of asymptotic critical values of polynomial maps and applications

Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din
2021
Preprints, Working Papers, ... hal-03188279v1
Image document

Fast Algorithms for Discrete Differential Equations

Alin Bostan , Hadrien Notarantonio , Mohab Safey El Din
2023
Preprints, Working Papers, ... hal-03978089v1