Quick search
Advanced search in
Field to searchTerm
Add rule
Download Results
10 research outcomes, page 1 of 1
  • software . 2018
    Open Access English
    Authors:
    Barnier, Julien;
    Publisher: HAL CCSD

    R package : interactive scatter plot htmlwidget based on D3.js

  • software . 2019
    Open Access English
    Authors:
    Pradic, Pierre;
    Publisher: HAL CCSD

    This small development in the Coq proof assistant introduces a term language and a basic equational theory for Mealy machines., i.e. finite-state letter-to-letter transducer. Soundness and completeness are proved for the equational theory.

  • software . 2018
    Open Access English
    Authors:
    Barnier, Julien; Briatte, François; Larmarange, Joseph;
    Publisher: HAL CCSD

    R package to make surveys processing easier

  • software . 2016
    Open Access English
    Authors:
    Barnier, Julien; Dalud-Vincent, M.;
    Publisher: HAL CCSD

    RéSo proposes a decomposition of each (strongly) connected component of a graph. Its use is justified for researching center (s) / periphery (ies). It proceeds by classifying in successive layers of "fragile points" the vertices of each component. When no more fragile p...

  • software . 2018
    Open Access English
    Authors:
    Barnier, Julien;
    Publisher: HAL CCSD

    R package : HTML output formats for RMarkdown documents

  • software . 2019
    Open Access English
    Authors:
    Givaro group, The;
    Publisher: HAL CCSD
    Project: EC | OpenDreamKit (676541)

    Givaro main features are implementations of the basic arithmetic of many mathematical entities: Primes fields, Extensions Fields, Finite Fields, Finite Rings, Polynomials, Algebraic numbers, Arbitrary precision integers and rationals (C++ wrappers over gmp), fixed preci...

  • software . 2009
    Open Access English
    Authors:
    Heiden, Serge; Decorde, Matthieu;
    Publisher: HAL CCSD

    Open-source Unicode, XML & TEI compatible textual corpora analysis software based on the CQP search engine and the R statistical environment:<br><br>Desktop version (Windows, Mac OS X & Linux):<br>- TXM 0.7.8 (20 april 2017), http://textometrie.ens-lyon.fr/files/softwar...

  • software . 2020
    Open Access English
    Authors:
    Renaud, Hadrien;
    Publisher: HAL CCSD

    A Encore librairy implementing control flow futures on top of dataflow explicit futures

  • software . 2018
    Open Access English
    Authors:
    Barnier, Julien;
    Publisher: HAL CCSD

    R package : Shiny interfaces and graphical functions for multivariate analysis results exploration.

  • software . 2019
    Open Access English
    Authors:
    LinBox group, The;
    Publisher: HAL CCSD
    Project: EC | OpenDreamKit (676541)

    LinBox is a C++ template library of routines for solution of linear algebra problems including linear system solution, rank, determinant, minimal polynomial, characteristic polynomial, and Smith normal form. Algorithms are provided for matrices with integer entries or e...

10 research outcomes, page 1 of 1
Last index information