Skip to main content
View Cart

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

    • ISSN: 0012-365X
    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.
    Subscriptions

  • Mathematics and Computers in Simulation

    • ISSN: 0378-4754
    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.
    Subscriptions

  • Applied Mathematics and Computation

    • ISSN: 0096-3003
    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.
    Subscriptions

  • Applied Mathematical Modelling

    • ISSN: 0307-904X
    Applied Mathematical Modelling focuses on significant and novel scientific developments for mathematical modelling and computational methods and tools for engineering, industrial and environmental systems and processes leading to future innovations and novel technologies.The topics considered are: heat transfer, fluid mechanics, computational fluid dynamics and electromagnetics, and transport phenomena; solid mechanics and mechanics of metals; electromagnets and magnetohydrodynamics... reliability modelling and system optimization; modelling of inventory, industrial, manufacturing and logistics systems with managerial insights; engineering systems and structures; mineral and energy resources; software engineering developments; digital twins; materials; unmanned vehicles; robotics; network traffic control; energy sustainability models; optimization; population dynamics with realistic scenarios; high-performance methods for data-driven engineering applications; numerical procedures; computational intelligence in complex engineering problems.Applied Mathematical Modelling is primarily interested in: Papers developing increased insights into real-world problems through novel analytical or semi-analytical mathematical and computational modelling.Papers with multi- and interdisciplinary topics, including linking with data driven models and applications.Papers on novel applications or a combination with the above.Papers employing existing methods must demonstrate significant novelty in the solution of practical problems. Model validation, verification and reproducibility is a fundamental principle for published papers.Papers based on fuzzy logic in decision-making, financial mathematics, heuristic algorithms, neural networks, data modelling, game-theoretical, fractional differential equations, bifurcation and numerical methods papers are not considered unless they solve practical problems, supported by reasonable empirical evidence. Submissions with no real-world application will not be considered.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.
    Subscriptions

  • Computers & Mathematics with Applications

    • ISSN: 0898-1221
    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.
    Subscriptions

  • Computational Geometry

    • ISSN: 0925-7721
    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.
    Subscriptions

  • Annals of Pure and Applied Logic

    • ISSN: 0168-0072
    The journal Annals of Pure and Applied Logic publishes high quality papers in all areas of mathematical logic as well as applications of logic in mathematics, in theoretical computer science and in other related disciplines. All submissions to the journal should be mathematically correct, well written (preferably in English)and contain relevant new results that are of significant interest to a substantial number of logicians. The journal also considers submissions that are somewhat too long to be published by other journals while being too short to form a separate memoir provided that they are of particular outstanding quality and broad interest. In addition, Annals of Pure and Applied Logic occasionally publishes special issues of selected papers from well-chosen conferences in pure and applied logic.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.
    Subscriptions

  • Journal of Computer and System Sciences

    • ISSN: 0022-0000
    The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriente... papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.Research areas include traditional subjects such as:Theory of algorithms and computability Formal languages Automata theoryContemporary subjects such as:Complexity theory Algorithmic Complexity Parallel & distributed computingComputer networks Neural networksComputationa... learning theoryDatabase theory & practiceComputer modeling of complex systemsSecurity and Privacy
    Subscriptions

  • Telematics and Informatics

    • ISSN: 0736-5853
    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.
    Subscriptions

  • Theoretical Computer Science

    • ISSN: 0304-3975
    Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.Any queries about submissions and peer review should be addressed to the TCS editorial office: tcseditorialoffice@e... published in Theoretical Computer Science are grouped in three sections according to their nature. The first section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods.The second section,`Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.The third section, 'Natural Computing', is devoted to the study of computing occurring in nature and computing inspired by nature. In the rapidly evolving field of computer science, natural computing plays an important role as the catalyst for the synergy of human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing.Theoretica... Computer Science will now publish high-quality advanced introductions. Advanced introductions, which are by invitation only, should cover a focused topic within the scope of TCS at a level that would be appropriate for a scientist who is new to the topic and wishes to gain an up-to-date understanding. Articles should be self-contained, including motivation and basic definitions, and proceed to advanced material and/or open problems which may - but need not - include new results. Sufficient references should be given to provide the reader with entry points to the research literature on the topic as well as the origins of the main ideas. Submissions will go through the standard review process of TCS.
    Subscriptions

Related subjects