journal of symbolic computation (12)
journal of corporate renewal (3)
journal of pain and symptom management (3)
proceedings of the ieee (3)
applied mathematics letters. an international journal of rapid publication (2)
archives of surgery (2)
clinical transplantation (2)
international symposium on parallel symbolic computation (2)
journal of law, medicine & ethics (2)
journal of pain & symptom management (2)
proceedings of the 4th international workshop: parallel & symbolic computation (2)
15th annual ieee symposium on field-programmable custom computing machines (fccm 2007), field-programmable custom computing machines, 2007. fccm 2007. 15th annual ieee symposium on (1)
2005 international conference on analysis of algorithms (1)
2008 international conference on prognostics and health management, prognostics and health management, 2008. phm 2008. international conference on (1)
advances in applied mathematics (1)
circuits, systems, and signal processing (1)
computer algebra in scientific computing (1)
conference on high performance networking & computing (1)
international journal of mathematics and computer science (1)
issac 2006 (1)
issac 2007 (1)
issac 2013---proceedings of the 38th international symposium on symbolic and algebraic computation (1)
issac 2014---proceedings of the 39th international symposium on symbolic and algebraic computation (1)
issac'05 (1)
mathematics and computer science. iii (1)
microbiology (13500872) (1)
microbiology-sgm (1)
pasco'2015---proceedings of the 2015 international workshop on parallel symbolic computation (1)
physics letters. a (1)
pratt's journal of bankruptcy law (1)
proceedings of spie (1)
proceedings of the 1996 acm ieee conference supercomputing (1)
proceedings of the 1996 acm/ieee conference: supercomputing (1)
proceedings of the 1997 international symposium on symbolic and algebraic computation (kihei, hi) (1)
proceedings of the 2005 international symposium: symbolic & algebraic computation (1)
proceedings of the 2006 international symposium: symbolic & algebraic computation (1)
proceedings of the ninth siam conference on parallel processing for scientific computing 1999 (san antonio, tx) (1)
protein science (1)
quantifier elimination and cylindrical algebraic decomposition (linz, 1993) (1)
symbolic and algebraic computation (rome, 1988) (1)
the annals of thoracic surgery (1)
theoretical computer science (1)
transplantation (1)