Search for Articles:
Title / Keyword
Author / Affiliation / Email
Journal
Article Type
 
 
Advanced Search
 
Section
Special Issue
Volume
Issue
Number
Page
 
3.5
2.4
Journals
Mathematics
Sections
Mathematics and Computer Science
share announcement

Mathematics and Computer Science

A section of Mathematics (ISSN 2227-7390).

Section Information

The “Mathematics and Computer Science” Section of Mathematics combines mathematical reasoning and computing. On the one hand, mathematics can be seen as a fundamental tool in computing. On the other hand, computing is increasingly being used in mathematical problem-solving. We seek papers which bring mathematical rigor into computing. Topics of interest for the “Mathematics and Computers Science” Section include the following:

  • Abstract Machines
  • Algebraic Language Theory
  • Algorithmic Game Theory
  • Approximation Algorithms
  • Automated Reasoning
  • Coding Theory
  • Combinatorics
  • Computability
  • Computational Complexity
  • Computational Geometry
  • Concurrency
  • Constructive Mathematics
  • Cryptography
  • Data Structures Design and Analysis
  • Description Logics
  • Equational Logic and Rewriting
  • Error-Correcting Codes
  • Formal Languages and Automata Theory
  • Formal Methods and Theory of Security
  • Grammars and Context-Free Languages
  • Graph Theory
  • Higher-Order Logic
  • Hoare Logic
  • Information Complexity
  • Interactive Computations
  • Lambda Calculus
  • Linear Logic
  • Logic and Verification
  • Machine Learning Theory
  • Mathematical Optimization
  • Mathematical Software
  • Mathematics of Computing
  • Modal and Temporal Logic
  • Model Checking
  • Models of Computations
  • Network Protocols
  • Operations Research
  • Probabilistic Algorithms
  • Probabilistic Inference Problems
  • Probabilistic Reasoning Algorithms
  • Probabilistic Representations
  • Programming Logic
  • Proof Theory
  • Random Network Models
  • Random Search Heuristics
  • Regular Languages
  • Representation of Mathematical Objects
  • Rewrite Systems
  • Semantics and Reasoning
  • Simulation Theory
  • Statistical Paradigms
  • Symbolic and Algebraic Manipulation
  • Quantum Computation Theory
  • Timed and Hybrid Models
  • Theory and Algorithms for Application Domains
  • Tree Languages
  • Turing Machines
  • Type Theory

Prof. Dr. Marjan Mernik
Section Editor-in-Chief

Editorial Board

Topical Advisory Panel

Special Issues

Following special issues within this section are currently open for submissions:

Papers Published

Back to TopTop