Foreword: Symbolic computation in software science

DOI10.1016/J.JSC.2018.04.001MaRDI QIDQ1640635zbMATH OpenOpenAlexFDO

Authors

Publication date 14 June 2018

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2018.04.001

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Collections of articles of miscellaneous specific interest (00B15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Recommendations

• Special issue on symbolic computation in software science
• Special issue on program verification, automated debugging and symbolic computation
• Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra
• Preface
• Special issue on symbolic and algebraic computation: ISSAC 2017

Cited in

(5)

• Editorial: Symbolic computation and satisfiability checking
• Symbolic computation in applied computational mechanics
• Computer-human interaction in symbolic computation. With a foreword by D. S. Scott
• Special issue on symbolic computation in software science
• Special issue on program verification, automated debugging and symbolic computation

This page was built for publication: Foreword: Symbolic computation in software science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1640635)