Int4Sci: Scilab Interface for Interval Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Int4Sci: Scilab Interface for Interval Analysis


The interval analysis is a set of techniques dealing with a large number of problems in many application fields. Over the last ten years in robotics significant contributions have been made in kinematic and static models solving, in the computation of manipulator workspaces, in robot identification, control or design. Our team has obtained some interesting results by combining the quality of numerical analysis algorithms and the efficiency of constraint programming techniques developed for interval case. All this even when the formulation of the issue must have been adapted to take advantage of interval analysis properties.

The time has now come to transfer our expertise. However, if the principles of the analysis intervals seem accessible the community thus knows that the creation and the efficient implementation of an algorithm is difficult. It then becomes essential to make our work available to students for scientific dissemination, as well as non interval experts, researchers or engineers using them as sub-modules to solve often larger problems.

If each of us has some powerful software often available in a low-level language, it is interesting to propose a higher level interface to make it accessible to non-computer scientists.

We therefore offer Int4sci, a Scilab interface for interval arithmetic and some basic modules of interval analysis. We justify the choice of this language, the linked low level library, as well as the syntax and the design of the interface.

Finally, we show how this toolkit can be increased and how to contribute to this project.

No file

Dates and versions

hal-00987461 , version 1 (06-05-2014)


  • HAL Id : hal-00987461 , version 1


David Daney. Int4Sci: Scilab Interface for Interval Analysis. 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2010, Lyon, France. ⟨hal-00987461⟩
229 View
0 Download


Gmail Facebook Twitter LinkedIn More