Special issue on symbolic computation in software science

DOI10.1016/J.JSC.2014.09.027MaRDI QIDQ485826zbMATH OpenOpenAlexFDO

Authors

Publication date 14 January 2015

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

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Foreword: Symbolic computation in software science
• Special issue on symbolic and algebraic computation: ISSAC 2017
• Special issue on symbolic and algebraic computation: ISSAC 2021
• Symbolic computation in applied computational mechanics
• Preface

Cited in

(6)

• Foreword: Symbolic computation in software science
• Special issue on the foundations of software science and computation structures
• Symbolic computation in applied computational mechanics
• scientific article; zbMATH DE number 1343505 (Why is no real title available?)
• Special issue on program verification, automated debugging and symbolic computation
• Foreword

This page was built for publication: Special issue on symbolic computation in software science

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