Skip to Main content Skip to Navigation


...
hal-02573423v2  Conference papers
Christina KatsamakiFabrice RouillierElias TsigaridasZafeirakis Zafeirakopoulos. On the Geometry and the Topology of Parametric Curves
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece
...
hal-02398736v1  Conference papers
Ioannis Z. EmirisChristina Katsamaki. Voronoi diagram of orthogonal polyhedra in two and three dimensions
SEA 2019 - Symposium on Experimental Algorithms, Jun 2019, Kalamata, Greece. ⟨10.1007/978-3-030-34029-2_1⟩
hal-03070784v1  Directions of work or proceedings
Alban QuadratEva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems
Alban Quadrat, Eva Zerz. 9, Springer, pp.311, 2020, Advances in Delays and Dynamics, 978-3-030-38355-8. ⟨10.1007/978-3-030-38356-5⟩
...
hal-01366202v1  Conference papers
Yacine BouzidiFabrice 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-03070677v1  Book sections
Yacine BouzidiThomas CluzeauAlban QuadratFabrice Rouillier. On the effective computation of stabilizing controllers of 2D systems
Jürgen Gerhard, Ilias Kotsireas. Maple in Mathematics Education and Research, Maple in Mathematics Education and Research, Springer, pp.30-49, 2020, 978-3-030-41257-9
...
hal-03105216v1  Conference papers
Ricardo FabbriTimothy DuffHongyi FanMargaret ReganDavid da Costa de Pinho et al.  TRPLP – Trifocal Relative Pose From Lines at Points
CVPR 2020 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2020, Seattle / Virtual, United States. pp.12070-12080, ⟨10.1109/CVPR42600.2020.01209⟩
hal-01412060v1  Directions of work or proceedings
Jan DraismaGiorgio OttavianiFabrice Rouillier. Special Issue : MEGA 2015
France. 79 (1), Elsevier, pp.196, 2017
...
hal-02907338v1  Book sections
Yacine BouzidiFabrice Rouillier. Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability
Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, Springer, pp.203-237, 2020, ⟨10.1007/978-3-030-38356-5_8⟩
hal-01960745v1  Book sections
Dahmun GoudarziAntoine JouxMatthieu Rivain. How to Securely Compute with Noisy Leakage in Quasilinear Complexity
Advances in Cryptology - 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, Springer, pp.547-574, 2018
hal-01960756v1  Conference papers
Divesh AggarwalAntoine JouxAnupam PrakashMiklos Santha. A New Public-Key Cryptosystem via Mersenne Numbers
Crypto 2018, 2018, Santa-Barbara, United States. pp.459-482
hal-01351031v1  Conference papers
Jan DraismaGiorgio OttavianiFabrice Rouillier. Foreword of MEGA 2015
MEGA'2015 (Special Issue), Jun 2016, Trento, Italy
...
hal-01309190v1  Conference papers
Ranjan JhaDamien ChablatFabrice RouillierGuillaume Moroz. Influence of the trajectory planning on the accuracy of the orthoglide 5-axis
ASME International Design Engineering Technical Conference and the Computer and Information in Engineering Conference (IDETC/CIE), Aug 2016, Charlotte, NC, United States
hal-02436978v1  Book sections
Alban QuadratGeorg Regensburger. Computing polynomial solutions and annihilators of integro-differential operators with polynomial coefficients
Algebraic and Symbolic Computation Methods in Dynamical Systems, 9 (87-114), Springer, 2020, Advances in Delays and Dynamics, 978-3-030-38355-8