Journal of Symbolic Computation

Cet article est une ébauche concernant une revue scientifique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Journal of the Symbolic Computation  
Discipline Informatique, Mathématiques
Langue anglais
Directeur de publication Josef Schicho
Publication
Maison d’édition Elsevier
Période de publication depuis 1985
Facteur d’impact 0.853 (2009)
Indexation
ISSN 0747-7171
LCCN 85644369
OCLC 10791050
Liens
  • http://www.journals.elsevier.com/journal-of-symbolic-computation
modifier 

Le Journal of Symbolic Computation est une revue scientifique à comité de lecture consacrée à la recherche en calcul formel et dans les domaines apparentés.

Histoire

La revue est créée en 1985 sous l'impulsion de Bruno Buchberger avec l'objectif de promouvoir le développement de domaines comme le calcul formel, la manipulation symbolique de programmes et la preuve automatique ainsi que les interactions entre ces domaines[1]. Bob Caviness succède à Buchberger comme éditeur scientifique de 1996 à 2000, avant d'être à son tour remplacé par Hoon Hong, suivi de Josef Schicho.

Références

  1. ↑ « Symbolic Computation (An Editorial) », Journal of Symbolic Comuptation, vol. 1, no 1,‎

Liens externes

  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • WorldCat
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Dialnet
    • NLM Catalog
    • Scopus
  • icône décorative Portail de la presse écrite
  • icône décorative Portail des mathématiques