Skip to Main content Skip to Navigation

inria-00000374v1  Conference papers
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaStephen Wismath. Drawing $K_n$ in Three Dimensions with One Bend per Edge
13th International Symposium on Graph Drawing - GD'2005, Sep 2005, University of Limerick, Ireland
inria-00000384v1  Journal articles
Hervé BrönnimannHazel EverettSylvain LazardFrank SottileSue Whitesides. Transversals to line segments in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2005, 34 (3), pp.381 - 390. ⟨10.1007/s00454-005-1183-1⟩
inria-00000569v1  Conference papers
Olivier DevillersVida DujmovicHazel EverettSamuel HornusSteve Wismath et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
17th Canadian Conference on Computational Geometry - CCCG'2005, Aug 2005, Windsor, Canada
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
ensl-00000001v1  Journal articles
Jean-Michel MullerPeter Kornerup. Leading Guard Digits in Finite-Precision Redundant Representations
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2006, 55 (5), pp.541-548. ⟨10.1109/TC.2006.79⟩
ensl-00000009v1  Journal articles
Jean-Michel MullerPeter Kornerup. Choosing Starting Values for certain Newton-Raphson Iterations
Theoretical Computer Science, Elsevier, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩
inria-00072320v1  Reports
David DefourPeter KornerupJean-Michel MullerNathalie Revol. A New Range Reduction Algorithm
[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001
ensl-00086904v1  Journal articles
Jean-Michel MullerNicolas BrisebarrePeter KornerupDavid DefourNathalie Revol. A new range-reduction algorithm
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
inria-00098684v1  Journal articles
Laurent BuséDavid CoxCarlos d'Andrea. Implicitization of surfaces in the projective space in the presence of base points
Journal of Algebra and Its Applications, World Scientific Publishing, 2003, 2 (2), pp.189--214
inria-00124270v1  Journal articles
Xiao-Shan GaoQiang LinGui-Fang Zhang. A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design, Elsevier, 2006, Computer-Aided Design, 38 (1), pp.1--13. ⟨10.1016/j.cad.2005.03.002⟩
inria-00170535v1  Directions of work or proceedings
Bernard MourrainIoannis Z. EmirisVictor Y. Pan. Special Issue on Algebraic and Numerical Algorithms
Emiris, I. and Mourrain, B. and Pan, Y. V. 315, Elsevier, pp.310, 2004
inria-00177850v1  Conference papers
Howard ChengGuillaume HanrotEmmanuel ThoméEugene ZimaPaul Zimmermann. Time- and Space-Efficient Evaluation of Some Hypergeometric Constants
ISSAC '07: Proceedings of the 2007 international symposium on Symbolic and algebraic computation, Association for Computing Machinery, Jul 2007, Waterloo, Canada. pp.85-91, ⟨10.1145/1277548.1277561⟩
inria-00103923v1  Journal articles
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaSteve Wismath. Drawing Kn in Three Dimensions with One Bend per Edge
Journal of Graph Algorithms and Applications, Brown University, 2006, 10 (2), pp.287-295
inria-00189036v1  Conference papers
Hazel EverettSylvain LazardGiuseppe LiottaSteve Wismath. Universal Sets of n Points for 1-bend Drawings of Planar Graphs with n Vertices
The 15th International Symposium on Graph Drawing - GD 2007, Sep 2007, Sydney, Australia. pp.345-351, ⟨10.1007/978-3-540-77537-9_34⟩
inria-00192927v1  Journal articles
Olivier DevillersVida DujmovicHazel EverettSamuel HornusSue Whitesides et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.297-304. ⟨10.1142/S0218195907002343⟩
inria-00201065v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia PalamidessiFrank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs
23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. pp.271--285, ⟨10.1007/978-3-540-74610-2_19⟩
lirmm-00324589v1  Conference papers
David BremnerJonathan LenchnerGiuseppe LiottaChristophe PaulMarc Pouget et al.  A Note on α-Drawable k-Trees
CCCG'08: Canadian Conference on Computational Geometry, Canada. pp.23-27
inria-00335126v1  Journal articles
Nicola YanevRumen AndonovPhilippe VeberStefan Balev. Lagrangian approaches for a class of matching problems in computational biology
Computers and Mathematics with Applications, Elsevier, 2008, 55 (Issue 5 (March 2008)), pp.1054-1067. ⟨10.1016/j.camwa.2006.12.103⟩
hal-00341468v1  Journal articles
Nicolas HanusseDimitris KavvadiasEvangelos KranakisDanny Krizanc. Memoryless search algorithms in a network with faulty advice
Theoretical Computer Science, Elsevier, 2008, 402 (2-3), pp.190-198
hal-00341609v1  Journal articles
Reuven CohenPierre FraigniaudDavid IlcinkasAmos KormanDavid Peleg. Label-Guided Graph Exploration by a Finite Automaton
ACM Transactions on Algorithms, Association for Computing Machinery, 2008, 4 (4), pp.Article 42. ⟨10.1145/1383369.1383373⟩
hal-00343001v1  Conference papers
Cyril GavoilleBilel DerbelDavid PelegLaurent Viennot. On the Locality of Distributed Sparse Spanner Construction
27th Annual ACM Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada. pp.273-282, ⟨10.1145/1400751.1400788⟩
inria-00344324v1  Journal articles
Hervé BrönnimannIoannis Z. EmirisVictor Y. PanSylvain Pion. Sign Determination in Residue Number Systems
Theoretical Computer Science, Elsevier, 1999, Special issue on Real Numbers and Computers, 210, pp.173-197
inria-00344963v1  Conference papers
Hervé BrönnimannIoannis Z. EmirisVictor Y. PanSylvain Pion. Computing exact geometric predicates using modular arithmetic with single precision
ACM Symposium on Computational Geometry (SCG), Jun 1997, Nice, France. pp.174-182
inria-00347594v1  Journal articles
Dominique LavenierXianyang JiangStephen Yau. Coding Region Prediction Based on a Universal DNA Sequence Representation Method
Journal of Computational Biology, Mary Ann Liebert, 2008, 15 (10), pp.1237-1256. ⟨10.1089/cmb.2008.0041⟩
hal-00358487v1  Journal articles
Erica SodergrenGeorge M WeinstockEric H DavidsonR Andrew CameronRichard A Gibbs et al.  The genome of the sea urchin Strongylocentrotus purpuratus.
Science, American Association for the Advancement of Science, 2006, 314 (5801), pp.941-52. ⟨10.1126/science.1133609⟩
hal-00368035v1  Conference papers
Cyril GavoilleBilel DerbelDavid PelegLaurent Viennot. Construction locale de sous-graphes couvrants peu denses
10ièmes Rencontres francophones sur les aspects algorithmiques des télécommunications (AlgoTel), Saint-Malo, France, 2008, May 2008, France. pp.105-108
inria-00367584v2  Conference papers
Peter KornerupVincent LefèvreNicolas LouvetJean-Michel Muller. On the Computation of Correctly-Rounded Sums
19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
hal-00371381v1  Conference papers
Cyril GavoilleBilel DerbelDavid Peleg. Deterministic Distributed Construction of Linear Stretch Spanners in Polygarithmic Time
21rst International Symposium on Distributed Computing (DISC), Lemesos, Chypre, 2007, Sep 2007, Lemesos, Cyprus. pp.179-192, ⟨10.1007/978-3-540-75142-7_16⟩
hal-00371393v1  Journal articles
Tamar EilamCyril GavoilleDavid Peleg. Average Stretch Analysis of Compact Routing Schemes
Discrete Applied Mathematics, Elsevier, 2007, 155, pp.598-610. ⟨10.1016/j.dam.2006.09.010⟩
ensl-00383561v1  Journal articles
Peter KornerupPaolo MontuschiJean-Michel MullerEric Schwarz. Guest Editors' Introduction: Special Section on Computer Arithmetic
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.145-147
inria-00388501v1  Journal articles
Peter KornerupChristoph LauterVincent LefèvreNicolas LouvetJean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
hal-00408725v1  Conference papers
Bilel DerbelCyril GavoilleDavid PelegLaurent Viennot. Local Computation of Nearly Additive Spanners
DISC, Sep 2009, Elche/Elx, Spain. pp.176-190
inria-00411277v1  Journal articles
Peter CloteEvangelos KranakisDanny KrizancBruno Salvy. Asymptotics of Canonical and Saturated RNA Secondary Structures
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2009, 22 p
inria-00426608v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩
inria-00429214v1  Journal articles
Jean-Claude BermondCharles J. ColbournDavid CoudertGennian GeAlan C. H. Ling et al.  Traffic Grooming in Unidirectional Wavelength-Division Multiplexed Rings with Grooming Ratio C = 6
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2005, 19 (2), pp.523-542. ⟨10.1137/S0895480104444314⟩