Skip to Main content Skip to Navigation
  1. Search


...
hal-03667186v1  Software
Quoc-Tung Le, Rémi Gribonval, Elisa Riccietti. Code for reproducible research - "Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
2022, ⟨swh:1:dir:0815e7933349cee2fdef8c7b24ee5c1a29115480;origin=https://hal.archives-ouvertes.fr/hal-03667186;visit=swh:1:snp:0360b8b8bc1de00c2520b7608470a50cd0491851;anchor=swh:1:rel:d2138dc681b43f7a31f9d6a2df9f46b04ed4ee8d;path=/⟩
...
hal-03643569v1  Software
Olivier Beaumont, Philippe Duchon, Julien Langou, Lionel Eyraud-Dubois, Mathieu Verite. Experimental code and results for the paper "Symmetric Block-Cyclic Distribution: Fewer Communications leads to Faster Dense Cholesky Factorization
2022, ⟨swh:1:dir:c698f3a7e2a1f7c634a8b7eb72c478ebaf28de4c;origin=https://hal.archives-ouvertes.fr/hal-03643569;visit=swh:1:snp:7496c8dd24d10fddde1ed6d60904f47389c711de;anchor=swh:1:rel:3c1b484d6411fe9d80f4801dd9d6b9fadfd6c799;path=/⟩
...
hal-03620052v1  Software
Léon Zheng, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - Efficient Identification of Butterfly Sparse Matrix Factorizations
2022, ⟨swh:1:dir:ed569ed027c484a53ca2d3d32aa6a05c79b50dbd;origin=https://hal.archives-ouvertes.fr/hal-03620052;visit=swh:1:snp:0706d7527a325d7ac8f46744c182056af46b4756;anchor=swh:1:rel:3884bd8154b9879c5743dfd2279d55102b60358c;path=/⟩
...
hal-03578782v1  Software
Francoise Sailhan, Valerie Issarny, Yifan Du, Otto Tavares Nascimento. CalibrateNoiseTogether
2017, ⟨swh:1:dir:b313f041eb4fef7c2ebeeb01eeaf83bc20088bee;origin=https://hal.archives-ouvertes.fr/hal-03578782;visit=swh:1:snp:39f80d505414e89c6eb19d44eb460055c18c2dcd;anchor=swh:1:rel:b74cf4d57d03e2e36206721714949e5106711235;path=/⟩
...
hal-03576498v1  Software
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban et al.  Code for reproducible research - Fast Multiscale Diffusion on Graphs
2022
...
hal-03569077v2  Software
Nathalie Azevedo Carvalho, Sylvain Contassot-Vivier, Laure Buhry, Dominique Martinez. SiReNe
2020, ⟨swh:1:dir:878020672fc98ba91b7082883a42be1baf53f9e8;origin=https://hal.archives-ouvertes.fr/hal-03569077;visit=swh:1:snp:5d68cb8cf3a2666ea64b5836f5c7c0e2ad26c227;anchor=swh:1:rel:617ff1429aaba606b7b4c8ce887124a56b2ed8f9;path=/⟩
...
hal-03572265v1  Software
Quoc-Tung Le, Rémi Gribonval. Code for the paper "Structured Support Exploration For Multilayer Sparse Matrix Factorization
2022, ⟨swh:1:dir:6794fd3f41d50a4e51e6e7f11ee721efafda9806;origin=https://hal.archives-ouvertes.fr/hal-03572265;visit=swh:1:snp:e5760cb4d925b5f3529486ffde997d8e3e9ea07e;anchor=swh:1:rel:a190fb7ab69d170eede1666e9e3edec33c56224b;path=/⟩
...
hal-03552956v1  Software
Léon Zheng, Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - Fast learning of fast transforms, with guarantees
2022, ⟨swh:1:dir:42d42bf905c9f3bbcd6cf5e1e0cda6be2d0d63de;origin=https://hal.archives-ouvertes.fr/hal-03552956;visit=swh:1:snp:6a2256426a0f3a7491086fbf2da554d7589d1e18;anchor=swh:1:rel:f477382c82ada89647864605ea44b12383c04167;path=/⟩
...
hal-03473197v1  Software
Alexandre Moine, Arthur Charguéraud, François Pottier. Specification and Verification of a Transient Stack (Artifact)
2021, ⟨swh:1:dir:80952d7602e8e9614979f1b1f50fdad8a4c369f1;origin=https://hal.archives-ouvertes.fr/hal-03473197;visit=swh:1:snp:781fc4f58efbdfa6ea16006272793bf7c610d760;anchor=swh:1:rel:3df60f40567bfdf2b365cac2fe61c6bb38d94503;path=/⟩
...
hal-03464411v1  Software
Alexandre Mouton, Thomas Rey. KINEBEC - Numerical simulation of Boltzmann-Norheim equation
2021, ⟨swh:1:dir:7fe30a7f2000e428017805003dee352f95b877ba;origin=https://hal.archives-ouvertes.fr/hal-03464411;visit=swh:1:snp:25f26c730a7673ba183f92abd767d501716332ff;anchor=swh:1:rel:97d086f20d7c60fdd7fddbb656101e22d990311a;path=/⟩
...
hal-03445804v1  Software
Sébastien Briais, Sid Touati. A C-library for Register Pressure Reduction in Data Dependence Graphs.
2021, ⟨swh:1:dir:0b9ea5cf3f444bf0920d99d5df58af2b6b484133;origin=https://hal.archives-ouvertes.fr/hal-03445804;visit=swh:1:snp:dc58dc9c3866979847adb3ee5202b8e14ac7b9cd;anchor=swh:1:rel:b0827bb530d7e2258121543e63e06de4b2c640c0;path=/⟩
...
hal-03445821v1  Software
Sébastien Briais, Sid Touati. A C-library for Register Saturation Computation
2021, ⟨swh:1:dir:353f14fe73608aeb968e1b7d961293c4292bcc91;origin=https://hal.archives-ouvertes.fr/hal-03445821;visit=swh:1:snp:f19987035256ae2536dabfadf31f38afa689e5d7;anchor=swh:1:rel:20809d0c43faec53646297b5271a12e9beec8f24;path=/⟩
...
hal-03445891v1  Software
Sid Touati. Dilworth Decomposition in C++ using the LEDA Graph library
2021, ⟨swh:1:dir:96814a40df85e15f23dec922f30ed0ce5c3f6336;origin=https://hal.archives-ouvertes.fr/hal-03445891;visit=swh:1:snp:a39dbdfa45e4a236e06b22efb7f9495b7b621416;anchor=swh:1:rel:945df584d6c66ea6973544f084124038c4d0a51f;path=/⟩
...
hal-03445937v1  Software
Sid Touati. A C++ implementation of a O(n log n) algorithm computing a maximal stable set of an interval graph
2021, ⟨swh:1:dir:95986a410683154bc0c9d55a2331839b74993c3d;origin=https://hal.archives-ouvertes.fr/hal-03445937;visit=swh:1:snp:63bdc74d56c678b7fa433ed87f0a4654050d02a3;anchor=swh:1:rel:9906213d31fdd2ce4d04d281a9b47747038836f1;path=/⟩
...
hal-03445991v1  Software
Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati. FADAlib: an open source C++ library for fuzzy array dataflow analysis
2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩
...
hal-03445736v1  Software
Sid Touati. DDG : A C++ High Level Data Dependence Graph Library
2021, ⟨swh:1:dir:4f3c8565cd0458811546f15c8cdbd45d7b7d5e99;origin=https://hal.archives-ouvertes.fr/hal-03445736;visit=swh:1:snp:02f0329065aa0998f15261721418c6af35ffbf8e;anchor=swh:1:rel:44f40b0bdf1f3004777f705b5beaf0d5b1f8ac43;path=/⟩
...
hal-03413044v1  Software
Vera Wesselkamp, Imane Fouad, Arnaud Legout, Nataliia Bielova. Ernie Extension
2021, ⟨swh:1:dir:6cf9d69e8467428628b93fd5e91b2c5f1684e7e7;origin=https://hal.archives-ouvertes.fr/hal-03413044;visit=swh:1:snp:69b5f385b8f53f754ddbc6174b9d6cefc869e8fa;anchor=swh:1:rev:55f6308a857dd97100e4b06a5d6647d5330eadaf;path=/⟩
...
hal-03406224v1  Software
Axel Marmoret, Jérémy Cohen, Frédéric Bimbot. MusicAE: Encoding songs with Autoencoders to reveal structure
2021, ⟨swh:1:dir:a5df9cf7e88b8893dc205465dbd7ba6595869d0a;origin=https://hal.archives-ouvertes.fr/hal-03406224;visit=swh:1:snp:18fb7d99d56d01720cd104405c78dfe757c06308;anchor=swh:1:rev:fb43c7c06c6483761726c753df0905510487458b;path=/⟩
...
hal-03375509v1  Software
Erven Rohou. Software - ANR Continuum D2.3 - Illustration of system reconfiguration due to varying conditions: same-island, and migration
2018, ⟨swh:1:dir:ad6b75ab60ccb22c063e81cff8ec403086d4396e;origin=https://hal.archives-ouvertes.fr/hal-03375509;visit=swh:1:snp:8595e9bbbbc060c6373859bde55a56352bc6d42a;anchor=swh:1:rev:6063801811e8f607e9c715f186de95043b4594a8;path=/⟩
...
hal-03345464v1  Software
Jens Gustedt. Code examples for the book Modern C
2021
...
hal-03146301v1  Software
Cristian Vargas Montero, Hamid Rahkooy. Testing Unconditional Binomiality in Reversible Chemical Reaction Networks using Linear Algebra and Graph Theoretical approaches
2020, ⟨swh:1:dir:6f354b75626021ec820d2f30f8ce41de4e40b6e1;origin=https://hal.archives-ouvertes.fr/hal-03146301;visit=swh:1:snp:2606e63e5a998754f4df2c4a683bd556c2ec9b02;anchor=swh:1:rev:331bf66efe08227f4732afbb28843db025c90a92;path=/⟩
...
hal-03151484v1  Software
Axel Marmoret, Jérémy Cohen, Frédéric Bimbot. MusicOnPolytopes
2021, ⟨swh:1:dir:8b248e8de9b9f36dc56ce7d300831511ab75c411;origin=https://hal.archives-ouvertes.fr/hal-03151484;visit=swh:1:snp:37434c31fd90851c1f5e2931f76433599d2b50cf;anchor=swh:1:rev:4a1cd279fac42cad9781de97dce1b2c61bf362fe;path=/⟩
...
hal-03116143v1  Software
Matteo Frigo, Mauro Zucchelli, Rachid Deriche, Samuel Deslauriers-Gauthier. TALON: Tractograms As Linear Operators in Neuroimaging
2021, ⟨swh:1:dir:f25157ad1b13cb20ac3457d4f6756b49ac63d079;origin=https://hal.archives-ouvertes.fr/hal-03116143;visit=swh:1:snp:465d89956196578717f4cb5155e456c279aa6a22;anchor=swh:1:rev:10247a14640a280b9140a27ce003d382d70cccac;path=/⟩
...
hal-03024051v2  Software
Srđan Kitić. A-SPADE demo
2015, ⟨swh:1:dir:85323c6f758a43ddb82a43545439266dd9ce1dc4;origin=https://hal.archives-ouvertes.fr/hal-03024051;visit=swh:1:snp:492cb679f2a083f73c02d5a4bba32424c819287d;anchor=swh:1:rev:cf306ec551c699c00dbfd2d9b16dc50d7420215d;path=/⟩
...
hal-03024116v2  Software
Clément Gaultier, Srđan Kitić, Ewen Camberlein, Rémi Gribonval, Nancy Bertin. SPADE Toolbox
2019, ⟨swh:1:dir:670f1ff15abcb3d510841e83acfc1ef9318a5326;origin=https://hal.archives-ouvertes.fr/hal-03024116;visit=swh:1:snp:e8da0f3d1e1bd541affa397491da967147b690d0;anchor=swh:1:rev:1747d2d1bf483a8938562b068438a55a12ae01fc;path=/⟩
...
hal-02960741v2  Software
Nancy Bertin, Gilles Chardon, Laurent Daudet, Rémi Gribonval, Francois Ollivier et al.  NACHOS (Nearfield ACoustic HOlography with Sparse regularization)
2012, ⟨swh:1:dir:5c3040f7ab69b2aaba19a24f8ce818bcfec7b737;origin=https://hal.archives-ouvertes.fr/hal-02960741;visit=swh:1:snp:e4216751918d533c1b70937e69cd25c10d2ec369;anchor=swh:1:rev:a402d485d58ae710ace7c0c1477caf73137c2d28;path=/⟩
...
hal-02963802v1  Software
Sunit Sivasankaran, Irina Illina, Emmanuel Vincent. voiceHome-2 corpus - automatic speech recognition baseline - scripts
2020, ⟨swh:1:dir:e61ed9084af0d3e8542cd4ab3a990d24314a6724;origin=https://hal.archives-ouvertes.fr/hal-02963802;visit=swh:1:snp:b958e3aa64f6b1663929789c8cf28d019f55f57d;anchor=swh:1:rev:6b9bf3964385d0c16d262796d9e4a3a30a52dafd;path=/⟩
...
hal-02963528v1  Software
Ewen Camberlein, Romain Lebarbenchon. voiceHome-2 corpus - localization and speech enhancement baseline - code
2017, ⟨swh:1:dir:b36fb4814949d6a99a593785df39e81036dae275;origin=https://hal.archives-ouvertes.fr/hal-02963528;visit=swh:1:snp:0c7a3b26a2c39d6a7be4c58872b6a727a77c9236;anchor=swh:1:rev:282551cd4868b7b38f2c72e9b0ac84a22e7b8411;path=/⟩
...
hal-02963154v1  Software
Valentin Emiya, Amir Adler, Maria Jafari. Audio Inpainting Toolbox
2012, ⟨swh:1:dir:5a3b0b6734992b1f22b3807d90d8e4f23a8a1134;origin=https://hal.archives-ouvertes.fr/hal-02963154;visit=swh:1:snp:763ff6e890564bc78b23a67d1ea66d25b166c85c;anchor=swh:1:rev:82ecc00368b9e69f694b72ea76b47f7c4a4873fc;path=/⟩
...
hal-02960718v1  Software
Nicolas Keriven. SketchMLbox -- A MATLAB toolbox for large-scale mixture learning
2018, ⟨swh:1:dir:a76f6aeb81ce73e178b8b822029d2c721ba24117;origin=https://hal.archives-ouvertes.fr/hal-02960718;visit=swh:1:snp:55fd14b490c1aef81d2582d91d911a71d0a159cf;anchor=swh:1:rev:d8de5cbab0e40297dd0d03d5c93895c568a30a99;path=/⟩
...
hal-02960713v1  Software
Gilles Puy, Nicolas Tremblay, Rémi Gribonval, Pierre Vandergheynst. GraphSamplingBox
2016, ⟨swh:1:dir:e27b8849b4845e050049b1ceae73520a54a7c9f5;origin=https://hal.archives-ouvertes.fr/hal-02960713;visit=swh:1:snp:834da05eaba8d5fd214a05d722acc017d17826dd;anchor=swh:1:rev:3dc10882e6c8e08939d75c364a99a5b4270992e3;path=/⟩
...
hal-02960679v1  Software
Nicolas Tremblay, Gilles Puy, Rémi Gribonval, Pierre Vandergheynst. Compressive Spectral Clustering Toolbox
2016, ⟨swh:1:dir:8bfdf74037ae1c51335995891c6226e0f85e46e2;origin=https://hal.archives-ouvertes.fr/hal-02960679;visit=swh:1:snp:bc4a2ddf84dd0cc13d74e1970a1471c2574ed6aa;anchor=swh:1:rev:4a9d637ba507a2b93365250428e6e3f021f194d0;path=/⟩
...
hal-02961482v1  Software
Aurel Page. abelianbnf
2020, ⟨swh:1:dir:2028b86e77e21a66f522a8d0e2bcf6c341f6a4b4;origin=https://hal.archives-ouvertes.fr/hal-02961482;visit=swh:1:snp:fcf14abf20c8f027f2e290c472ea9ca7710b4dee;anchor=swh:1:rev:9235b295296670186eeace394da3cbd1abb1f53b;path=/⟩
...
hal-02960705v1  Software
Cagdas Bilen, Gilles Puy. CBC4CS (Convex Blind Calibration for Compressive Sensing) Toolbox
2013, ⟨swh:1:dir:eddac332b1d60e77d6041a358d6f996a182eee22;origin=https://hal.archives-ouvertes.fr/hal-02960705;visit=swh:1:snp:ad8935e3745a8959fd3aa6b47a9b35efcce1965c;anchor=swh:1:rev:6f777f00b71ace9c14b5eadbaac74262e069f9ee;path=/⟩
...
hal-02955901v1  Software
Srđan Kitić, Nancy Bertin, Laurent Albera, Rémi Gribonval. PHYSALIS (Physics-Driven Cosparse Analysis)
2015, ⟨swh:1:dir:f4f0c309fe07b42c62b84edf682bba0bfecff4d0;origin=https://hal.archives-ouvertes.fr/hal-02955901;visit=swh:1:snp:8a5796701fdd762ae1c77d3d8fb5583afe625d53;anchor=swh:1:rev:9d1304a95456ed7b1ce59613fc810f5463b35273;path=/⟩
...
hal-02915456v1  Software
Axel Marmoret, Jérémy Cohen. nn_fac: Nonnegative Factorization techniques toolbox
2020, ⟨swh:1:dir:ec2a2153951a7f79b7d980ea0d9c7601e5755de9;origin=https://hal.archives-ouvertes.fr/hal-02915456;visit=swh:1:snp:6e4be34b95db089bc5e4455abb4037d0b633b9fe;anchor=swh:1:rev:88782798ee67126597c52fb12312a462e9f6439b;path=/⟩
...
hal-02915453v1  Software
Axel Marmoret, Jérémy Cohen, Nancy Bertin, Frédéric Bimbot. MusicNTD
2020, ⟨swh:1:dir:f6dc646c35c2f8f5ae5d8f6c0f37ed24fe4444da;origin=https://hal.archives-ouvertes.fr/hal-02915453;visit=swh:1:snp:fd7a937b4d29ee53880659f530863df693c22f30;anchor=swh:1:rev:3c97ce0a8ec7515ea36b40912f885286938099a9;path=/⟩
...
hal-02908763v1  Software
Hadrien Renaud. Fut on Flow
2020, ⟨swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https://hal.archives-ouvertes.fr/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=/⟩
...
hal-02906179v1  Software
Bérenger Bramas. Farm-SVE: A scalar C++ implementation of the ARM® Scalable Vector Extension (SVE)
2020, ⟨swh:1:dir:1d1509453950e3569b5f55a6dece1da5eeab9572;origin=https://hal.archives-ouvertes.fr/hal-02906179;visit=swh:1:snp:3506821b2a12082a9bcb490b05b446053c9a940d;anchor=swh:1:rev:7f55f2b6c15d89f826730cf89f500d340d4aefa8;path=/⟩
...
hal-02487579v1  Software
Roberto Di Cosmo, Pierre Weis, François Clément, Zheng Li. OcamlP3l release 2.03
2007, ⟨swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940;origin=https://hal.archives-ouvertes.fr/hal-02487579;visit=swh:1:snp:18b778c20ee37588bfa16bb8d00d8046bcbb462c;anchor=swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42;path=/⟩
...
hal-01730321v2  Software
Simon Archipoff, Cédric Augonnet, Olivier Aumage, Guillaume Beauchamp, Bérenger Bramas et al.  StarPU
2017, ⟨swh:1:dir:b6e19d99449a78805e7a55a341fbaba2bc431973;origin=https://hal.archives-ouvertes.fr/hal-02443512;visit=swh:1:snp:c21d3dfbd96e4fb502c534e59644dba14c542100;anchor=swh:1:rev:31be198773f103324593d26369f135fbde5b97f8;path=/⟩
...
hal-02159005v2  Software
Lionel Eyraud-Dubois, Louis-Claude Canon. Experimental code and data for the paper "Scheduling on Two Types of Resources: a Survey
2019, ⟨swh:1:dir:fe5a230ec88d49ecd9790d2199f23b5c5b72abbe;origin=https://hal.archives-ouvertes.fr/hal-02159005;visit=swh:1:snp:6c6bd2ef190e40d7026749369725dd954c1c75d6;anchor=swh:1:rev:b2af27e129fad7558d725e6b60da7aaea5b0c86f;path=/⟩
...
hal-02309043v1  Software
Matthieu Kowalski, Emmanuel Vincent, Rémi Gribonval. Underdetermined Reverberant Source Separation
2019, ⟨swh:1:dir:ec4ae097465d9ea51589537ea94b2ea50e8d134d;origin=https://hal.archives-ouvertes.fr/hal-02309043;visit=swh:1:snp:e35494fd4cb57af0b22131ab8c4a4d8bd5cffcc6;anchor=swh:1:rev:2d23c3e68b755b720ecca8ddd5e1f8fe99909be2;path=/⟩
...
hal-02179513v1  Software
Jean-Valère Cossu, Nicolas Dugué, Vincent Labatut. Twitter Influence - Characterization of Twitter Profiles, with an application to offline influence detection
2014, ⟨swh:1:dir:1343d720d6c3e19fa6124fd30fe23a0fa737e8e0;origin=https://hal.archives-ouvertes.fr/hal-02179513;visit=swh:1:snp:d08ff83162d7e6cf24502c4114e02e50d66bf1b0;anchor=swh:1:rev:cd96f9629ed1cfcf2bf57250db477194d8497e75;path=/⟩
...
hal-02155786v1  Software
Pierre Pradic. A sound and complete axiomatization of the equational theory of Mealy machines.
2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786;visit=swh:1:snp:88a3a6cafdfd6d842ba0c086187015a1605f0cf0;anchor=swh:1:rev:dacff8b9c3574cd3fcb023c485209c72abd8efef;path=/⟩
...
hal-02128878v1  Software
The Fflas-Ffpack Group. FFLAS-FFPACK
2019, ⟨swh:1:dir:6c36b055a48b4415ec5d864f6943f0d3082bd44b;origin=https://hal.archives-ouvertes.fr/hal-02128878;visit=swh:1:snp:508f4adf76ec4ad481e2fbc5fdb312a13a7a0b4b;anchor=swh:1:rev:4201397494d9af8b687117e8ff4d85a8944f5c5a;path=/⟩
...
hal-02130801v1  Software
The Linbox Group. LinBox
2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩
...
hal-02130729v1  Software
The Givaro Group. Givaro
2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩
...
hal-02129219v1  Software
Cassio Dantas, Rémi Gribonval. Stable Screening - Python code
2019, ⟨swh:1:dir:3ccb3fde105b05aee192367fb5e07e192e3b6774;origin=https://hal.archives-ouvertes.fr/hal-02129219;visit=swh:1:snp:ea9fb83bf7c0e828cd33fef85302fb6d009efa55;anchor=swh:1:rev:22942d09cf38300eddca99dc83cd4868b2f9187f;path=/⟩
...
hal-02090402v1  Software
François Delebecque, Claude Gomez, Maurice Goursat, Ramine Nikoukhah, Serge Steer et al.  Scilab 1.1
1994, ⟨swh:1:dir:1ba0b67b5d0c8f10961d878d91ae9d6e499d746a;origin=https://hal.archives-ouvertes.fr/hal-02090402;visit=swh:1:snp:7ddfbf3d09b30b76993b8cf01f28cdc28204e7bc;anchor=swh:1:rev:e985380d7598a12a5c6a80807b65ec1840c7f22b;path=/⟩
...
hal-01897572v1  Software
Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig
2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
...
hal-01867778v1  Software
Xavier Leroy, Damien Doligez, Jérôme Vouillon, Alain Deutsch, Bruno Blanchet. OCamlStack 1.05.1
2001, ⟨swh:1:dir:53c27f53e2115f847f855b9a400169d218363185;origin=https://hal.archives-ouvertes.fr/hal-01867778;visit=swh:1:snp:66f78f3d525323f8a6a0b9b4c9162be9a06d6481;anchor=swh:1:rev:7eec094cb90a3972ac86bea5789f3441003a3f2c;path=/⟩
...
hal-01863457v1  Software
Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon et al.  CamlDim
1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/⟩
...
hal-01831369v2  Software
Thibaut Girka, Yann Régis-Gianas. Correlating Oracles
2018, ⟨swh:1:dir:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002;origin=https://hal.archives-ouvertes.fr/hal-01831369;visit=swh:1:snp:42f0897956e700a23f5b8aafce43360b8699c0f1;anchor=swh:1:rev:698771f9ca7ce7605fdcabf27b5851f322ea692c;path=/⟩
...
hal-01831364v1  Software
Thibaut Girka. correlating_program
2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
...
hal-01767263v1  Software
Yves Bertot. Formal study in Coq of pi computations using arithmetic-geometric means
2018, ⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263;visit=swh:1:snp:cd55c2657ac70c9b15ae4384b6af1ae6ce8df512;anchor=swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed;path=/⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/