Skip to Main content Skip to Navigation
Help


...
tel-00979707v1  Theses
Yacine Bouzidi. Solving bivariate algebraic systems and topology of plane curves
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0016⟩
inria-00100548v1  Conference papers
Luc Rolland. Introduction to Algebraic Methods for Solving the Forward Kinematics Problem of Parallel Robots applied to High Throughput and High Accuracy
Third European-Asian Congress on Mecatronics, Laboratoire Automatique de Besançon, 2001, Besançon, France, 10 p
...
hal-00809430v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. 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-01485536v1  Book sections
Yacine BouzidiAdrien PoteauxAlban Quadrat. A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays
Giorgio Valmorbida; Alexandre Seuret; Islam Boussaada; Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, Advances in Delays and Dynamics, 10, Springer, pp.16, 2019, ⟨10.1007/978-3-030-11554-8_11⟩
...
hal-01528377v1  Conference papers
Angelos MantzaflarisÉric SchostElias Tsigaridas. Sparse Rational Univariate Representation
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087653⟩
...
hal-02099556v1  Journal articles
Ioannis Z. EmirisAngelos MantzaflarisElias Tsigaridas. Multilinear Polynomial Systems: Root Isolation and Bit Complexity
Journal of Symbolic Computation, Elsevier, In press, Special Issue on Milestones in Computer Algebra (MICA 2016)