Journals in Theory and mathematics
Journals in Theory and mathematics
Our portfolio includes foundational theories, algorithms, formal methods, and computational complexity. Featuring rigorous research, mathematical frameworks, and practical applications, these titles support theorists, mathematicians, and computer scientists in advancing the theoretical underpinnings of computing. Addressing emerging areas like quantum algorithms and formal verification, the collection fuels innovation and scientific discovery.
Discrete Mathematics
Discrete Mathematics provides a common forum for significant research in many areas of discrete mathematics and combinatorics.The research areas covered by Discrete Mathematics include graph and hypergraph theory, enumeration, coding theory, block designs, the combinatorics of partially ordered sets, extremal set theory, matroid theory, algebraic combinatorics, discrete geometry, matrices, discrete probability, and parts of cryptography.Discret... Mathematics generally does not include research on dynamical systems, differential equations, or discrete Laplacian operators within its scope. It also does not publish articles that are principally focused on linear algebra, abstract algebraic structures, or fuzzy sets unless they are highly related to one of the main areas of interest. Also, papers focused primarily on applied problems or experimental results fall outside our scope.Items in the journal include research articles (Contributions or Notes, depending on length) and survey/expository articles (Perspectives). Efforts are made to process the submission of Notes (short articles) quickly. The Perspectives section features expository articles accessible to a broad audience that cast new light or present unifying points of view on well-known or insufficiently-known topics.Discrete Mathematics also publishes occasional Special Issues containing selected papers. Such issues are fully refereed and adhere to the normal high standards of the journal.This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0012-365X
Mathematics and Computers in Simulation
Transactions of IMACSThe aim of the journal is to provide an international forum for the dissemination of up-to-date information in the fields of the mathematics and computers, in particular (but not exclusively) as they apply to the dynamics of systems, their simulation and scientific computation in general. Published material ranges from short, concise research papers to more general tutorial articles.Mathematics and Computers in Simulation, published monthly, is the official organ of IMACS, the International Association for Mathematics and Computers in Simulation (Formerly AICA). This Association, founded in 1955 and legally incorporated in 1956 is a member of FIACC (the Five International Associations Coordinating Committee), together with IFIP, IFAV, IFORS and IMEKO.Topics covered by the journal include mathematical tools in:•The foundations of systems modelling •Numerical analysis and the development of algorithms for simulationThey also include considerations about computer hardware for simulation and about special software and compilers. The journal also publishes articles concerned with specific applications of modelling and simulation in science and engineering, with relevant applied mathematics, the general philosophy of systems simulation, and their impact on disciplinary and interdisciplinary research.The journal includes a Book Review section -- and a "News on IMACS" section that contains a Calendar of future Conferences/Events and other information about the Association.- ISSN: 0378-4754
Applied Mathematics and Computation
Applied Mathematics and Computation addresses work at the interface between applied mathematics, numerical computation, and applications of systems – oriented ideas to the physical, biological, social, and behavioral sciences, and emphasizes papers of a computational nature focusing on new algorithms, their analysis and numerical results.In addition to presenting research papers, Applied Mathematics and Computation publishes review articles and single–topics issues.- ISSN: 0096-3003
Computers & Mathematics with Applications
Computers & Mathematics with Applications provides a medium of exchange for those engaged in fields contributing to building successful simulations for science and engineering using Partial Differential Equations (PDEs).The following are the principal areas of interest of the journal: Modeling using PDEs.Analysis of mathematical models, formulated in terms of PDEs.Discretization Methods and Numerical Analysis for PDEs.Numerical linear and nonlinear algebra. Fast numerical algorithms.Algorithm... and Data Structures. Adaptivity. Computational Geometry.Software Design, Code verification and Quality Assurance (QA).Verification and Validation.- ISSN: 0898-1221
Computational Geometry
Theory and ApplicationsComputat... Geometry is a forum for research in theoretical and applied aspects of computational geometry. The journal publishes fundamental research in all areas of the subject, as well as disseminating information on the applications, techniques, and use of computational geometry. Computational Geometry publishes articles on the design and analysis of geometric algorithms. All aspects of computational geometry are covered, including the numerical, graph theoretical, combinatorial and computational topology aspects. Also welcomed are computational geometry solutions to fundamental problems arising in computer graphics, pattern recognition, robotics, image processing, CAD-CAM, VLSI design and geographical information systems.Computationa... Geometry features a special section containing open problems and concise reports on implementations of computational geometry tools.This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0925-7721
Journal of Computational and Applied Mathematics
The Journal of Computational and Applied Mathematics publishes original papers of high scientific value in all areas of computational and applied mathematics. The main interest of the Journal is in papers that describe and analyze new computational techniques for solving scientific or engineering problems. Also the improved analysis, including the effectiveness and applicability, of existing methods and algorithms is of importance. The computational efficiency (e.g. the convergence, stability, accuracy, ...) should be proved and illustrated by nontrivial numerical examples. Papers describing only variants of existing methods, without adding significant new computational properties are not of interest.The audience consists of: applied mathematicians, numerical analysts, computational scientists and engineersThis journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0377-0427
Information and Computation
Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such asBiological computation and computational biologyComputational complexityComputer theorem-provingConcu... and distributed process theoryCryptographic theoryData base theoryDecision problems in logicDesign and analysis of algorithmsDiscrete optimization and mathematical programmingInductive inference and learning theoryLogic & constraint programmingProgram verification & model checkingProbabilisti... & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typecheckingThis journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0890-5401
Computer-Aided Design
Computer-Aided Design is a leading international journal that provides academia and industry with key papers on research and developments in computational foundations and methods of design. The term "design" is to be understood broadly to encompass conceptualization, synthesis, realization, and evolution of artifacts, processes, and systems (both natural and artificial).Computer... Design invites papers reporting new research, as well as novel or particularly significant applications, within a wide range of topics, spanning all stages of design from concept creation to manufacture and beyond. Contributions are welcome from all disciplines and application areas, provided that they have a significant geometric, topological, spatial, or configuration design content, and present developments likely to be of interest to a broad spectrum of researchers, educators, and practitioners of computer-aided design. In this context, examples of relevant topics include but are not limited to:Foundational theories, frameworks, methodologies, and standardsMathematica... models, representations, and algorithms for shapes, solids, structures, and assembliesMaterial, behavior, and physical modelingConceptual design and inventionUncertainty and imprecision in computer-aided designMulti-scale modeling and design of shape and material structuresSystem level design and model-based systems engineeringProgramma... subtractive, additive, and hybrid manufacturingGenerat... design, shape, topology, and material optimizationComputat... planning, fabrication, and inspectionDiscretiza... and meshing algorithmsData acquisition, model recognition and reconstructionRepres... conversions and interoperabilityAppl... of AI in design, including neural networks and machine learningDesign ontologies, grammars, languages, and semanticsData driven modeling and synthesisAdvanced support of manufacturing and downstream activitiesTechnologi... in support of digital factory and digital twin conceptsUser interfaces, system interfaces, and human-computer interactionDesign databases, knowledge repositories, object libraries and retrievalSpecific applications and significant benchmarks of computer-aided designTypes of Papers:Research papers: report significant research and development results, describe the relevant theoretical foundations and methodology, and present workable algorithms and give examples taken from real world applications, stressing the significance of the approach being presented.Applicatio... papers: describe complex and pioneering applications of CAD concepts, methods and tools in practice, present significant results that extend the disciplinary knowledge and/or analyze the application in a way that is likely to stimulate and influence further research.Survey papers: critically analyze the current state of knowledge in a given field of CAD, summarize and organize recent research results in a novel way, derive new insights and deepen understanding of those working in the field, and propose possible topics, orientations and approaches for future research and development.Technica... notes: respond to material published in the journal or closely related topics, repair a flaw in the definition and approach or stimulate further thinking, or provide additional technical details on a CAD theory, technology, methodology, product or application.Dataset papers: discuss creation, documentation, and critical assessment of data sets, repositories, and their uses supporting research and practice in all areas of computer-aided design. An algorithmic contribution is not required for a dataset paper, but the dataset itself must be made freely usable and accessible for research purposes. Dataset papers will go through the same rigorous review process and will be evaluated based on their novelty, impact, and presentation. Accessibility, privacy, and ethics are also important issues that will be considered by the reviewers and editors.- ISSN: 0010-4485
Information Processing Letters
Devoted to the Rapid Publication of Short Contributions to Information ProcessingInformatio... Processing Letters invites submission of original research articles that focus on fundamental aspects of information processing and computing. This naturally includes work in the broadly understood field of theoretical computer science; although papers in all areas of scientific inquiry will be given consideration, provided that they describe research contributions credibly motivated by applications to computing and involve rigorous methodology. High quality experimental papers that address topics of sufficiently broad interest may also be considered.Since its inception in 1971, Information Processing Letters has served as a forum for timely dissemination of short, concise and focused research contributions. Continuing with this tradition, and to expedite the reviewing process, manuscripts are generally limited in length to nine pages when they appear in print.More detailed information about the topics of interest and submission format can be found in the Guide for Authors.- ISSN: 0020-0190
Telematics and Informatics
An Interdisciplinary Journal on the Social Impacts of New TechnologiesTelemati... and Informatics is an interdisciplinary journal publishing innovative theoretical and methodological research on the social, economic, geographic, political, and cultural impacts of digital technologies. Application areas include smart cities, sensors and information fusion, the digital society and digital platforms, internet of things (IoT), cyber-physical technologies, privacy, knowledge management, distributed work, emergency response and hazards, mobile and wireless communications, health informatics, psychosocial effects of social media, ICT for sustainable development, blockchain, e-commerce, and e-government.The journal favors research papers (8,000 words), but will consider contributions offering systematic review and meta-analysis (10,000 words), as well as research notes (4,000 words) that seek to advance new ideas, theoretical perspectives or methodological approaches.Telematic... and Informatics serves as an international outlet for information scientists, data scientists, computer scientists, social informaticists, geographic information scientists, urban and regional planners, policy analysts, regional scientists, disaster scientists, and network scientists.- ISSN: 0736-5853
