Three Research positions (engineer or postdoc) in the ANR HPAC project: Grenoble, Lyon and Paris, France Title: High-performance Algebraic Computing Keywords: parallel computing, computer algebra, linear algebra, C/C++ p

Source URL: hpac.gforge.inria.fr

• Software
• Application software
• Mathematical software
• Computer algebra
• International Symposium on Symbolic and Algebraic Computation
• SageMath
• Algebra
• Symbolic computation
• Computer algebra system
• Wolfram Mathematica
• Parallel computing

D5.3 : Publication Process – Bernard Vatant FROM RAW PUBLISHED DATA TO INTERLINKED SEMANTIC DATA Auteur Contributeurs Relecteurs

Source URL: gforge.inria.fr

METISS Team The Matching Pursuit Tool Kit Getting Started Contributors:

Source URL: gforge.inria.fr

Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations Michael Backes1,2 , C˘at˘alin Hri¸tcu1,3,4,∗, Matteo Maffei1 1 2

Source URL: prosecco.gforge.inria.fr

BeDoP: Beyond Double Precision Paul Zimmermann ANR FastRelax, Lyon, 27 May 2015

Source URL: fastrelax.gforge.inria.fr

Report on API documentation - Laurent BIHANIC        

Source URL: gforge.inria.fr

Evaluation of Instance Matching Tools: The Experience of OAEI A. Ferraraa , A. Nikolovb , J. Noessnerc , F. Scharffed a DICo, Universit`

Source URL: gforge.inria.fr

Foundational Property-Based Testing Zoe Paraskevopoulou1,2 C˘at˘alin Hrit¸cu1 Maxime D´en`es1 Leonidas Lampropoulos3 Benjamin C. Pierce3 1 Inria Paris-Rocquencourt

Source URL: prosecco.gforge.inria.fr

Usage Scenarii For Applications

Source URL: gforge.inria.fr

Design Principles Behind Smalltalk 15/Jun:48 AM Design Principles Behind Smalltalk Daniel H. H. Ingalls

Source URL: sdmeta.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Smalltalk
• Object-oriented programming
• Self
• Objective-C
• Class
• Actor model
• Message passing
• Metaobject