Loading AI tools
revue scientifique De Wikipédia, l'encyclopédie libre
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.
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 | |
modifier |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.