Integration of automated reasoning and computer algebra systems

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	501-502
Number of pages	2
Journal	Journal of Symbolic Computation
Volume	39
Issue number	5
DOIs	https://doi.org/10.1016/j.jsc.2004.12.001
Publication status	Published - 1 May 2005

Access to Document

@article{01b06b6b08314096bbd422135e84d791,

title = "Integration of automated reasoning and computer algebra systems",

author = "O Caprotti and Volker Sorge",

year = "2005",

month = may,

day = "1",

doi = "10.1016/j.jsc.2004.12.001",

language = "English",

volume = "39",

pages = "501--502",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - Integration of automated reasoning and computer algebra systems

AU - Caprotti, O

AU - Sorge, Volker

PY - 2005/5/1

Y1 - 2005/5/1

UR - http://www.scopus.com/inward/record.url?scp=17044430572&partnerID=8YFLogxK

U2 - 10.1016/j.jsc.2004.12.001

DO - 10.1016/j.jsc.2004.12.001

M3 - Article

SN - 1095-855X

VL - 39

SP - 501

EP - 502

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 5

ER -