English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

This document describes the process for the adjudi-cation of submissions to the Formally Reviewed Articles section of the SIGSAM BULLETIN. The policies laid out here do not apply to other sections of the BULLETIN such as the Timely Communications section (which will continue to publish unreviewed articles) or the News or Book Reviews sections. For a discussion on the role of formal review and refereeing in the Electronic Publishing Plan of the ACM, we refer the reader to [1]. For convenience, we include definitions of these terms and others in Appendix A. The BULLETIN'S aim for the Formally Reviewed Articles section is to present, in a timely fashion, reports on new developments and original research results in all areas of symbolic mathematical computation. A significant volume of research literature is being generated annually in the research centers of North America, Europe, Japan, and other parts of the world. The potential outlets for this material are the proceedings of annual conferences and a very small number of journals. In certain instances, missing the deadline for submissions to a conference could cause a delay of as many as eighteen months from the completion of a research effort to the appearance of the report in print. In such cases, particularly , the Formally Reviewed Articles section is an appropriate vehicle for the swift dissemination of research reports. Topics of interest to the BULLETIN fall into three broad categories: Algorithms and Mathematics, Theoretical and Experimental Computer Science in Symbolic Computation , and Applications. The first category comprises symbolic, algebraic, and symbolic-numeric algorithms in all areas of mathematics. The second category covers algorithm analysis, complexity of computer algebra algorithms, and benchmark-ing; computer algebra systems, user interfaces, and environments ; data structures, programming languages, and software architectures; automatic differentiation and code generation; approaches employing artificial intelligence; and distributed and parallel aspects of symbolic mathematical computation. The third category covers the application, in a novel and significant way, of techniques from symbolic, algebraic , and symbolic-numeric computation to problems in the disciplines of engineering, computer science, the physical and biological sciences, economics and finance, statistics , mathematics, and education. The categories are meant to be as broad as possible, and the BULLETIN does not limit its selection of papers solely to the topics mentioned above. Papers describing new and original work may be submitted to any of the editors, preferably by electronic mail, in the form of …

Formal Review of Articles in the BULLETIN