Package Descriptions for Ubuntu

Browsing French translation

  1. Series saucy
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
45087 → 45096 of 78723 results First • • • Last
45087.
This package contains libraries and header files needed for program development.
 
Description
Ce paquet contient les bibliothèques et les fichiers d'en-tête nécessaires au développement du programme.
Translated by Jean-Marc
Reviewed by Pierre Slamich
Located in Package: libssm-dev
45088.
macromolecular superposition library
 
Summary
(no translation yet)
Located in Package: libssm0 Package: libssm-dev
45089.
SSM is a macromolecular coordinate superposition library, written by Eugene Krissinel of the EBI.
 
Description
(no translation yet)
Located in Package: libssm2 Package: libssm-dev Package: libssm-bin
45090.
The library implements the SSM algorithm of protein structure comparison in three dimensions, which includes an original procedure of matching graphs built on the protein's secondary-structure elements, followed by an iterative three-dimensional alignment of protein backbone Calpha atoms.
 
Description
(no translation yet)
Located in Package: libssm2 Package: libssm-dev Package: libssm-bin
45091.
The algorithm implemented by the software is described in: E. Krissinel & K. Henrick (2004) Secondary-structure matching (SSM), a new tool for fast protein structure alignment in three dimensions. Acta Crystallogr D Biol Crystallogr. 60, 2256-68.
 
Description
(no translation yet)
Located in Package: libssm1-dbg Package: libssm1 Package: libssm-dev
45092.
This package contains the shared library components needed for programs that have been compiled with the ssm library.
 
Description
(no translation yet)
Located in Package: libssm2
45093.
small scale reflection library for Coq (theories)
 
Summary
(no translation yet)
Located in Package: libssreflect-coq
45094.
The name Ssreflect stands for "small scale reflection", a style of proof that evolved from the computer-checked proof of the Four Colour Theorem and which leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, in the Ssreflect library, arithmetic comparison is not an abstract predicate, but a function computing a boolean.
 
Description
(no translation yet)
Located in Package: libssreflect-coq
45095.
The Ssreflect distribution comprises two parts: * A new tactic language, which promotes more structured, concise and
robust proof scripts, and is in fact independent from the "reflection"
proof style. It is implemented as a linkable extension to the Coq
system.
* A set of Coq libraries that provide core "reflection-oriented"
theories for basic combinatorics (roughly: arithmetic, lists, and
finite sets).
 
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
(no translation yet)
Located in Package: libssreflect-coq
45096.
This package installs the full Ssreflect distribution.
 
Description
(no translation yet)
Located in Package: libssreflect-coq
45087 → 45096 of 78723 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 4E4F, AUGUSTIN BRONDINO, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, Julien Rouvier, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane Maniaci, Stéphane V, Sydney, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, afro luffy, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, calvin, clappier, clement62910, cocof35, constantin, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gfds, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.