Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « arithmetic »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
arising < arithmetic < arithmetica  Facettes :

List of bibliographic references indexed by arithmetic

Number of relevant bibliographic references: 49.
[0-20] [0 - 20][0 - 49][20-40]
Ident.Authors (with country if any)Title
000045 (2016-04-08) Masahiro Ishii [Japon] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Atsuo Inomata [Japon] ; Kazutoshi Fujikawa [Japon]Fast Modular Arithmetic on the Kalray MPPA-256 Processor for an Energy-Efficient Implementation of ECM
000130 (2016) Denis Roegel [France]A mechanical calculator for arithmetic sequences (1844-1852): part 2, working details
000298 (2015-10) Denis Roegel [France]A Mechanical Calculator for Arithmetic Sequences (1844-1852): Part 1, Historical Context and Structure
000427 (2015-08) Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne]Linear Integer Arithmetic Revisited
001512 (2013) Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne]Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
001580 (2013) Konstantin Korovin [Royaume-Uni]From Resolution and DPLL to Solving Arithmetic Constraints
002422 (2011-03-14) Diego Caminha Barbosa De Oliveira [France]Fragments of arithmetic in a combination of decision procedures
002662 (2011) Christophe Ringeissen [France] ; Valerio Senni [France]Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
002764 (2011) Valérie Berthé [France] ; Sébastien Labbé [Canada]An Arithmetic and Combinatorial Approach to Three-Dimensional Discrete Lines
003238 (2010) Richard Brent ; Paul Zimmermann [France]Modern Computer Arithmetic
003742 (2009) Pierrick Gaudry [France] ; David Lubicz [France]The arithmetic of characteristic 2 Kummer surfaces and of elliptic Kummer lines
003971 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Data Structures with Arithmetic Constraints: A Non-disjoint Combination
003B75 (2009) Damien Jamet [France] ; Jean-Luc Toutant [France]Minimal arithmetic thickness connecting discrete planes
003C83 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
004014 (2008-05-09) Guillaume Burel [France]Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
004540 (2008) M. Boubaker [Tunisie] ; Khaled Ben Khalifa [Tunisie] ; Bernard Girau [France] ; Mohamed Dogui [Tunisie] ; Mohamed Hédi Bedoui [Tunisie]On-Line Arithmetic Based Reprogrammable Hardware Implementation of LVQ Neural Network for Alertness Classification
004714 (2007-10-01) Valerie Berthe [France] ; Christophe Fiorio [France] ; Damien Jamet [France] ; Fabrice Philippe [France]On Some Applications of Generalized Functionality for Arithmetic Discrete Planes
004A62 (2007) Pierrick Gaudry [France]Fast genus 2 arithmetic based on Theta functions
004F63 (2006-10-25) Damien Jamet [France] ; Jean-Luc Toutant [France]On the Connectedness of Rational Arithmetic Discrete Hyperplanes
005424 (2006) Damien Jamet [France] ; Jean-Luc Toutant [France]On the Connectedness of Rational Arithmetic Discrete Hyperplanes
005529 (2006) I. Debled-Rennesson [France] ; E. Domenjoud [France] ; D. Jamet [France]Arithmetic Discrete Parabolas

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "arithmetic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "arithmetic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    arithmetic
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022