Bernard Mourrain
4
Documents
Publications
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Separation bounds for polynomial systemsJournal of Symbolic Computation, 2020, 101, pp.128-151. ⟨10.1016/j.jsc.2019.07.001⟩
Article dans une revue
hal-01105276v5
|
|
The DMM bound: multivariate (aggregate) separation boundsProceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.243-250, ⟨10.1145/1837934.1837981⟩
Communication dans un congrès
inria-00393833v4
|
|
Experimental evaluation and cross-benchmarking of univariate real solversInternational Workshop SNC, ACM, Aug 2009, Kyoto, Japan. pp.85-94, ⟨10.1145/1577190.1577202⟩
Communication dans un congrès
inria-00340887v2
|
|
Real Algebraic Numbers: Complexity Analysis and ExperimentationsReliable Implementations of Real Number Algorithms: Theory and Practice, 2008, Dagsthul, Germany. pp.57-82
Communication dans un congrès
inria-00071370v1
|