Filtrer vos résultats
- 68
- 20
- 37
- 32
- 9
- 8
- 1
- 1
- 7
- 1
- 1
- 81
- 27
- 1
- 3
- 9
- 8
- 11
- 5
- 3
- 7
- 2
- 3
- 5
- 3
- 4
- 3
- 2
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 2
- 4
- 1
- 87
- 1
- 46
- 40
- 23
- 15
- 15
- 13
- 10
- 9
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 88
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
88 résultats
|
Guessing Gröbner Bases of Structured Ideals of Relations of SequencesJournal of Symbolic Computation, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
Article dans une revue
hal-02935550v2
|
||
|
Faster One Block Quantifier Elimination for Regular Polynomial Systems of EquationsInternational Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩
Communication dans un congrès
hal-03180730v4
|
||
|
Computing the set of asymptotic critical values of polynomial mappings from smooth algebraic sets2022
Pré-publication, Document de travail
hal-03598352v1
|
||
Testing emptyness of Real Hypersurfaces[Contract] 98-R-073 || rouillier98c, 1998, 10 p
Rapport
inria-00098568v1
|
|||
|
Finding at least one point in each connected component of a real algebraic set defined by a single equation[Intern report] A00-R-017 || rouillier00a, 2000, 42 p
Rapport
inria-00107845v1
|
||
|
On Exact Polya and Putinar's RepresentationsISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩
Communication dans un congrès
hal-01720612v1
|
||
|
Critical Points and Gröbner Bases: the Unmixed CaseISSAC 2012 - International Symposium on Symbolic and Algebraic Computation - 2012, Jul 2012, Grenoble, France. pp.162-169, ⟨10.1145/2442829.2442855⟩
Communication dans un congrès
hal-00667494v1
|
||
|
On the complexity of computing real radicals of polynomial systemsISSAC '18 - The 2018 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.351-358, ⟨10.1145/3208976.3209002⟩
Communication dans un congrès
hal-01956596v1
|
||
|
Refined F5 Algorithms for Ideals of Minors of Square MatricesISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway
Communication dans un congrès
hal-03983184v2
|
||
|
Exact algorithms for linear matrix inequalitiesSIAM Journal on Optimization, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
Article dans une revue
hal-01184320v2
|
||
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalitiesISSAC 2008 - 21st International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria. pp.79-86, ⟨10.1145/1390768.1390782⟩
Communication dans un congrès
hal-01111711v1
|
|||
|
Properness defects of projections and computation of one point in each connected component of a real algebraic set[Research Report] RR-4598, INRIA. 2002
Rapport
inria-00071987v1
|
||
|
Polynomial Interrupt Timed AutomataThe 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
Communication dans un congrès
hal-01222572v1
|
||
|
Probabilistic Algorithm for Computing the Dimension of Real Algebraic SetsISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.37-44, ⟨10.1145/2755996.2756670⟩
Communication dans un congrès
hal-01152751v1
|
||
|
Solving determinantal systems using homotopy techniquesJournal of Symbolic Computation, In press, 104, pp.754-804. ⟨10.1016/j.jsc.2020.09.008⟩
Article dans une revue
hal-01719170v1
|
||
|
Solving parametric systems of polynomial equations over the reals through Hermite matricesJournal of Symbolic Computation, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩
Article dans une revue
hal-03029441v2
|
||
|
Real root finding for rank defects in linear Hankel matricesInternational Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. pp.221-228, ⟨10.1145/2755996.2756667⟩
Communication dans un congrès
hal-01114378v1
|
||
|
Computing the dimension of real algebraic setsISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
Communication dans un congrès
hal-03232068v2
|
||
|
Computing the volume of compact semi-algebraic setsISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
Communication dans un congrès
hal-02110556v1
|
||
|
Algebraic-geometric techniques for the feedback classification and robustness of the optimal control of a pair of Bloch equations with application to Magnetic Resonance Imaging2017
Pré-publication, Document de travail
hal-01556806v1
|
||
|
On Exact Reznick, Hilbert-Artin and Putinar's RepresentationsJournal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
Article dans une revue
hal-01935727v1
|
||
|
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian CoefficientsInternational Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France
Communication dans un congrès
hal-03575157v1
|
||
|
Real solving for positive dimensional systemsJournal of Symbolic Computation, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
Article dans une revue
inria-00100982v1
|
||
|
Homotopy techniques for solving sparse column support determinantal polynomial systemsJournal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
Article dans une revue
hal-02927630v1
|
||
|
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic setsJournal of the ACM (JACM), 2017, 63 (6), pp.48:1--48:37. ⟨10.1145/2996450⟩
Article dans une revue
hal-00849057v3
|
||
|
Cooperativity, absolute interaction, and algebraic optimizationJournal of Mathematical Biology, In press, ⟨10.1007/s00285-020-01540-8⟩
Article dans une revue
hal-02925505v1
|
||
|
Computing rational solutions of linear matrix inequalitiesISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States
Communication dans un congrès
hal-00815174v1
|
||
Polar varieties and computation of one point in each connected component of a smooth real algebraic setInternational Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. pp.224-231, ⟨10.1145/860854.860901⟩
Communication dans un congrès
inria-00099649v1
|
|||
|
Real root finding for equivariant semi-algebraic systemsISSAC 20018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States
Communication dans un congrès
hal-01819106v1
|
||
|
Complete Singularity Analysis for the Perspective-Four-Point ProblemInternational Journal of Computer Vision, 2021, 129 (4), pp.1217-1237. ⟨10.1007/s11263-020-01420-0⟩
Article dans une revue
hal-03070525v1
|