E-LIB Suche - Ergebnisse für: El Din, Mohab Safey

1

Determination of All Stable and Unstable Equilibria for Ima..:

Colotti, Alessandro ; Fontán, Jorge García ; Goldsztejn, Alexandre...
IEEE Transactions on Robotics. , 2024

Link: https://doi.org/10.1109/..

2

Sum of Squares Decompositions of Polynomials over their Gra..:

Magron, Victor ; Din, Mohab Safey El ; Vu, Trung-Hieu
SIAM Journal on Optimization. 33 (2023) 1 - p. 63-88 , 2023

Link: https://doi.org/10.1137/..

3

A signature-based algorithm for computing the nondegenerate..:

Eder, Christian ; Lairez, Pierre ; Mohr, Rafael.
Journal of Symbolic Computation. 119 (2023) - p. 1-21 , 2023

Link: https://doi.org/10.1016/..

4

Computer algebra methods for polynomial system solving at t..:

Fontán, Jorge García ; Colotti, Alessandro ; Briot, Sébastien..
ACM Communications in Computer Algebra. 56 (2022) 2 - p. 36-40 , 2022

Link: https://doi.org/10.1145/..

5

Towards signature-based gröbner basis algorithms for comput..:

Eder, Christian ; Lairez, Pierre ; Mohr, Rafael.
ACM Communications in Computer Algebra. 56 (2022) 2 - p. 41-45 , 2022

Link: https://doi.org/10.1145/..

6

Complete Singularity Analysis for the Perspective-Four-Poin..:

Pascual-Escudero, Beatriz ; Nayak, Abhilash ; Briot, Sébastien...
International Journal of Computer Vision. 129 (2021) 4 - p. 1217-1237 , 2021

Link: https://doi.org/10.1007/..

7

Towards fast one-block quantifier elimination through gener..:

Berthomieu, Jérémy ; Ferguson, Andrew ; Din, Mohab Safey El
ACM Communications in Computer Algebra. 54 (2021) 3 - p. 109-113 , 2021

Link: https://dl.acm.org/doi/1..

8

Computing the real isolated points of an algebraic hypersur..:

, In: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation,

Le, Huu Phuoc ; Din, Mohab Safey El ; de Wolff, Timo - p. 297-304 , 2020

Link: https://dl.acm.org/doi/1..

9

Towards fast one-block quantifier elimination through gener..:

Berthomieu, Jérémy ; Ferguson, Andrew ; Din, Mohab Safey El
ACM Communications in Computer Algebra. 54 (2020) 3 - p. 109-113 , 2020

Link: https://doi.org/10.1145/..

10

Robots, computer algebra and eight connected components:

, In: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation,

Capco, Jose ; Din, Mohab Safey El ; Schicho, Josef - p. 62-69 , 2020

Link: https://dl.acm.org/doi/1..

11

Real root finding for low rank linear matrices:

Henrion, Didier ; Naldi, Simone ; Din, Mohab Safey El
Applicable Algebra in Engineering, Communication and Computing. 31 (2019) 2 - p. 101-133 , 2019

Link: https://doi.org/10.1007/..

12

Realcertify: a maple package for certifying non-negativity:

Magron, Victor ; Din, Mohab Safey El
ACM Communications in Computer Algebra. 52 (2018) 2 - p. 34-37 , 2018

Link: https://doi.org/10.1145/..

13

A Lower Bound on the Positive Semidefinite Rank of Convex B..:

Fawzi, Hamza ; El Din, Mohab Safey
SIAM Journal on Applied Algebra and Geometry. 2 (2018) 1 - p. 126-139 , 2018

Link: https://doi.org/10.1137/..

14

Realcertify : a maple package for certifying non-negativ..:

Magron, Victor ; Din, Mohab Safey El
ACM Communications in Computer Algebra. 52 (2018) 2 - p. 34-37 , 2018

Link: https://dl.acm.org/doi/1..

15

A Nearly Optimal Algorithm for Deciding Connectivity Querie..:

Din, Mohab Safey El ; Schost, Éric
Journal of the ACM (JACM). 63 (2017) 6 - p. 1-37 , 2017

Link: https://dl.acm.org/doi/1..