Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  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.
72783 → 72792 of 82199 results First • • • Last
72783.
This is a transitional package that simply depends on the new libsparsehash-dev. It can be safeley removed.
 
Description
Ceci est un paquet de transition qui dépend simplement du nouveau paquet libsparsehash-dev. Il peut être retiré en toute sécurité.
Translated by Jean-Marc
Reviewed by Sylvie Gallet
Located in Package: sparsehash
72784.
An automated theorem prover for first-order logic with equality
 
Summary
Un démonstrateur de théorèmes automatisé pour logique du premier ordre avec égalité
Translated by Sylvie Gallet
Reviewed by gisele perreault
Located in Package: spass
72785.
SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation.
 
Description
SPASS est un démonstrateur automatique de théorème basé sur la saturation pour la logique du premier ordre égalitaire. Il est unique à cause de la combinaison de calcul de recouvrement (superposition calculus) avec des règles spécifiques d’inférence ou réduction pour des genres (types) et une règle de dissociation pour l’analyse de cas motivés par une règle bêta de tableaux analytiques et l’analyse de cas employé dans la procédure de Davis-Putnam. De plus, SPASS fournit une traduction sophistiquée de forme normale conjonctive (clause normal form).
Translated by Michael Vogt
Located in Package: spass
72786.
This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii.
 
Description
Ce paquet consiste en un binaire SPASS/FLOTTER, la documentation et une petite collection d’exemples. La collection d’outils fournit le vérificateur de preuve pcs, les traducteurs de syntaxe dfg2otter et dfg2tptp, et le joli afficheur ASCII dfg2ascii.
Translated by Michael Vogt
Located in Package: spass
72787.
For more information, additional and partly huge example collections, consider the project homepage at http://spass.mpi-sb.mpg.de/.
 
Description
Pour plus d'informations, des exemples de collections supplémentaires et en partie énorme, pensez à la page d'accueil du projet sur http://spass.mpi-sb.mpg.de/.
Translated by Sylvie Gallet
Reviewed by gisele perreault
Located in Package: spass
72788.
Geospatial extension for SQLite - tools
 
Summary
extension géospatiale pour SQLite –[nbsp]outils
Translated by Michael Vogt
Located in Package: spatialite-bin
72789.
The SpatiaLite extension enables SQLite to support spatial (geometry) data in a way conformant to OpenGis specifications, with both WKT and WKB formats.
 
Description
SpatiaLite est une extension pour SQLite permettant de prendre en charge des données spatiales (géométriques) d’une manière conforme aux spécifications d’OpenGIS, dans les deux formats WKT et WKB.
Translated by Michael Vogt
Located in Package: spatialite-bin Package: libsqlite3-mod-spatialite Package: libspatialite8t64 Package: libspatialite-dev
72790.
This package contains tools useful to manage SQLite databases.
 
Description
Ce paquet fournit des outils utiles pour la gestion de bases de données SQLite.
Translated by Michael Vogt
Located in Package: spatialite-bin
72791.
user-friendly graphical user interface for SpatiaLite
 
Summary
nterface utilisateur graphique conviviale pour SpatiaLite
Translated and reviewed by Sylvie Gallet
Located in Package: spatialite-gui
72792.
spatialite-gui is a Graphical User Interface (GUI) for SpatiaLite.
 
Description
Spatialite-gui est une interface utilisateur graphique (GUI) pour SpatiaLite.
Translated and reviewed by Sylvie Gallet
Located in Package: spatialite-gui
72783 → 72792 of 82199 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 Diep, 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, Darry, 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, Jenny B, Jerod212, Joachim R., Joel Chav, 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, Mehdi Benadel, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Maître, 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, clappier, clement62910, cocof35, constantin, dhorne, 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, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.