Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems

Stephen Alexander Linton (Editor), R Sebastiani (Editor)

Research output: Contribution to journal › Special issue › peer-review

Original language	English
Number of pages	68
Journal	Journal of Symbolic Computation
Volume	34
Issue number	4
Publication status	Published - Oct 2002

Cite this

@article{48caf06dea78449da4d203ad9fd41bd0,

title = "Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems",

author = "Linton, \{Stephen Alexander\} and R Sebastiani",

year = "2002",

month = oct,

language = "English",

volume = "34",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press/Elsevier ",

number = "4",

}