|
||
---|---|---|
hal-02573423v2
Conference papers
On the Geometry and the Topology of Parametric Curves ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece |
||
inria-00070678v1
Reports
Solving Parametric Polynomial Systems [Research Report] RR-5322, INRIA. 2004, pp.23 |
||
inria-00097581v1
Journal articles
The implicit structure of ridges of a smooth parametric surface Computer Aided Geometric Design, Elsevier, 2006, 23 (7), pp.582-598. ⟨10.1016/j.cagd.2006.04.002⟩ |
||
hal-00663777v1
Journal articles
Exhaustive approach to the coupling matrix synthesis problem and application to the design of high degree asymmetric filters International Journal of RF and Microwave Computer-Aided Engineering, Wiley, 2007, 17 (1), pp.4--12. ⟨10.1002/mmce.20190⟩ |
||
inria-00544998v1
Journal articles
Motivations for an arbitrary precision interval arithmetic and the MPFI library Reliable Computing, Springer Verlag, 2005, 11 (4), pp.275-290. ⟨10.1007/s11155-005-6891-y⟩ ![]() |
||
hal-01142465v1
Conference papers
Workspace and Singularity analysis of a Delta like family robot 4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France |
||
hal-01259968v1
Conference papers
Computer algebra methods for testing the structural stability of multidimensional systems IEEE 9th International Workshop on Multidimensional (nD) Systems, Sep 2015, Vila Real, Portugal. ⟨10.1109/nds.2015.7332633⟩ |
||
hal-01366202v1
Conference papers
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-01667368v1
Conference papers
Explicit H∞ controllers for 4th order single-input single-output systems with parameters and their applications to the two mass-spring system with damping IFAC 2017 Workshop Congress , Jul 2017, Toulouse, France |
||
hal-03073801v1
Conference papers
Computation of the $\mathcal{L}_{\infty}$-norm of finite-dimensional linear systems Maple Conference, Nov 2020, Waterloo, Canada |
||
hal-03070677v1
Book sections
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-00809430v1
Conference papers
Rational Univariate Representations of Bivariate Systems and Applications ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.109-116 |
||
hal-00809425v1
Conference papers
Separating Linear Forms for Bivariate Systems ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124 |
||
hal-00802698v2
Reports
Rational Univariate Representations of Bivariate Systems and Applications [Research Report] RR-8262, INRIA. 2013, pp.26 |
||
hal-01412060v1
Directions of work or proceedings
Special Issue : MEGA 2015 France. 79 (1), Elsevier, pp.196, 2017 |
||
hal-00802693v2
Reports
Separating linear forms for bivariate systems [Research Report] RR-8261, INRIA. 2013, pp.20 |
||
hal-01796066v1
Journal articles
Workspace, Joint space and Singularities of a family of Delta-Like Robot Mechanism and Machine Theory, Elsevier, 2018, 127, pp.73-95. ⟨10.1016/j.mechmachtheory.2018.05.004⟩ |
||
hal-00935728v2
Conference papers
On the computation of the topology of plane curves International Symposium on Symbolic and Algebraic Computation, Kobe University, Jul 2014, Kobe, Japan. pp.130-137, ⟨10.1145/2608628.2608670⟩ |
||
hal-00977671v1
Journal articles
Separating linear forms and Rational Univariate Representations of bivariate systems Journal of Symbolic Computation, Elsevier, 2015, 68, pp.84-119. ⟨10.1016/j.jsc.2014.08.009⟩ |
||
hal-01351031v1
Conference papers
Foreword of MEGA 2015 MEGA'2015 (Special Issue), Jun 2016, Trento, Italy |
||
hal-01891417v1
Preprints, Working Papers, ...
Bounds for polynomials on algebraic numbers and application to curve topology 2018 ![]() |
||
hal-01232181v2
Journal articles
Computing Chebyshev knot diagrams Journal of Symbolic Computation, Elsevier, 2018, 86, pp.21. ⟨10.1016/j.jsc.2017.04.001⟩ |
||
hal-02289699v1
Book sections
Using Maple to analyse parallel robots Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩ |
||
hal-03090184v1
Preprints, Working Papers, ...
PTOPO: Computing the Geometry and the Topology of Parametric Curves 2020 |
||
hal-00690975v1
Journal articles
Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators Journal of Mechanisms and Robotics, American Society of Mechanical Engineers, 2012, pp.1-10 |
||
hal-02953909v1
Journal articles
PTOPO: A Maple package for the topology of parametric curves ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2020, 54 (2), pp.49-52. ⟨10.1145/3427218.3427223⟩ |
||
hal-01571230v1
Reports
Certified Non-conservative Tests for the Structural Stability of Multidimensional Systems [Research Report] RR-9085, INRIA Lille - Nord Europe; INRIA Paris. 2017, pp.31 |
||
hal-01362208v1
Journal articles
Character Varieties For SL(3,C): The Figure Eight Knot Experimental Mathematics, Taylor & Francis, 2016, 25 (2), pp.17. ⟨10.1080/10586458.2015.1068249⟩ ![]() |
||
hal-00803837v1
Journal articles
Local rigidity for SL (3,C) representations of 3-manifolds groups Experimental Mathematics, Taylor & Francis, 2013, 22 (4), pp.10. ⟨10.1080/10586458.2013.832441⟩ |
||
inria-00100985v1
Conference papers
Motivations for an arbitrary precision interval arithmetic and the mpfi library SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161 |
||
|