Computer Algebra Information Network

Serveur d'information pour le calcul formel

Cette page est également disponible pour les `browsers' connaissant les tableaux.

-- Deutsch - English - Español - Italiano - Nederlands --

Appel à contributions: Construire CAIN Europe -- The SAC Newsletter Numéro 3

Moteurs de recherche

CAIN Europe est un serveur permettant d'accéder à diverses informations en rapport avec le calcul formel (`symbolic and algebraic computation').

• mis sur pied par huit équipes dans le cadre du réseau européen SAC

• entretenu par CAN / Riaca (Computer Algebra Nederland)

CAIN Europe collecte les informations auprès de diverses équipes de recherche via

les serveurs nationaux de CAIN:

Autriche - France - Allemagne - Italie

Pays Bas - Espagne - Royaume Unis

Les nouvelles

• Quoi de neuf dans CAIN Europe ?

• Bulletins d'information électroniques

  The SAC Newsletter

  • Numéro 2, Juin 1997 online

  • Numéro 1, Novembre 1996 online

• Vos questions, idées et remarques sont bienvenues sur le panneau électronique de CAIN Europe

Annonces

• Conférences

• Logiciels

• Offres d'emploi

• Livres

Pour les nouveaux-venus en calcul formel

• Introductions

• Démos

Les équipes et les gens

• Equipes de recherche
  • Moteur de recherche

  • Equipes de recherche par pays

  • Votre contribution

• Pages personnelles
  • Moteur de recherche

  • Votre contribution

Education

Cher utilisateur, vous pouvez nous aider !

• Matériel éducatif

• Sites Web pour l'enseignement des mathématiques

• Matériel éducatif pour l'apprentissage des mathématiques

• Programmes

• Projets

• Logiciels

• Journaux

• Lettres d'information électroniques

• Votre contribution

• Moteur de recherche

Logiciels

• Type:
  • Généraux

  • Spécialisés

  • Expérimentaux

• Moteur de recherche

• Le projet OpenMath

Le calcul formel en action: applications

• Quelques exemples:

  Robotique - Chimie - Mecanique - Mathématique.

• Outil de recherche

• Votre contribution

Litérature

• La Base de données bibliographique BibTex

• La Base de données virtuelle de prépublications

• Actes de conférences

• Journaux

• Bibliographies
  • Articles

  • Livres

  • Prépublications, Thèses et rapports techniques

• Moteur de recherche sur MathSciNet

• Autres bases de données bibliographiques

``La librairie virtuelle de calcul formel''

• Factorisation

• Bases de Groebner

• Elimination de quantificateurs

• Solutions réelles de systèmes polynomiaux

  Participez à l' enquête RealSolving !

Projets européens en rapport avec le calcul formel

Responsabilités