68-XX |
|
|
Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} |
|
|
68-00 |
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science |
|
|
68-01 |
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science |
|
|
68-02 |
Research exposition (monographs, survey articles) pertaining to computer science |
|
|
68-03 |
History of computer science [Consider also classification numbers from Section 01-XX] |
|
|
68-04 |
Software, source code, etc. for problems pertaining to computer science |
|
|
68-06 |
Proceedings, conferences, collections, etc. pertaining to computer science |
|
|
68-11 |
Research data for problems pertaining to computer science |
|
|
68M01 |
General theory of computer systems |
|
|
68M07 |
Mathematical problems of computer architecture [See also 68W35] |
|
|
68M10 |
Network design and communication in computer systems [See also 68R10, 90B18] |
|
|
68M11 |
Internet topics [See also 68U35] |
|
|
68M12 |
Network protocols |
|
|
68M14 |
Distributed systems |
|
|
68M15 |
Reliability, testing and fault tolerance of networks and computer systems |
|
|
68M18 |
Wireless sensor networks as related to computer science [See also 90B18, 90B80] |
|
|
68M20 |
Performance evaluation, queueing, and scheduling in the context of computer systems [See also 60K20, 60K25, 90B22, 90B35, 90B36] |
|
|
68M25 |
Computer security |
|
|
68M99 |
None of the above, but in this section |
|
|
68N01 |
General topics in the theory of software |
|
|
68N15 |
Theory of programming languages |
|
|
68N17 |
Logic programming |
|
|
68N18 |
Functional programming and lambda calculus [See also 03B40] |
|
|
68N19 |
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) |
|
|
68N20 |
Theory of compilers and interpreters |
|
|
68N25 |
Theory of operating systems |
|
|
68N30 |
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) |
|
|
68N99 |
None of the above, but in this section |
|
|
68P01 |
General topics in the theory of data |
|
|
68P05 |
Data structures |
|
|
68P10 |
Searching and sorting |
|
|
68P15 |
Database theory |
|
|
68P20 |
Information storage and retrieval of data |
|
|
68P25 |
Data encryption (aspects in computer science) [See also 81P94, 94A60] |
|
|
68P27 |
Privacy of data |
|
|
68P30 |
Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) [See also 94Axx, 94Bxx] |
|
|
68P99 |
None of the above, but in this section |
|
|
68Q01 |
General topics in the theory of computing |
|
|
68Q04 |
Classical models of computation (Turing machines, etc.) [See also 03D10] |
|
|
68Q06 |
Networks and circuits as models of computation; circuit complexity [See also 94C11] |
|
|
68Q07 |
Biologically inspired models of computation (DNA computing, membrane computing, etc.) |
|
|
68Q09 |
Other nonclassical models of computation {For quantum computing, see mainly 68Q12, 81P68} |
|
|
68Q10 |
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85] |
|
|
68Q11 |
Communication complexity, information complexity |
|
|
68Q12 |
Quantum algorithms and complexity in the theory of computing [See also 68Q09, 81P68] |
|
|
68Q15 |
Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19] |
|
|
68Q17 |
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15] |
|
|
68Q19 |
Descriptive complexity and finite models [See also 03C13] |
|
|
68Q25 |
Analysis of algorithms and problem complexity [See also 68W40] |
|
|
68Q27 |
Parameterized complexity, tractability and kernelization |
|
|
68Q30 |
Algorithmic information theory (Kolmogorov complexity, etc.) [See also 03D32] |
|
|
68Q32 |
Computational learning theory [See also 68T05] |
|
|
68Q42 |
Grammars and rewriting systems |
|
|
68Q45 |
Formal languages and automata [See also 03D05, 68Q70, 94A45] |
|
|
68Q55 |
Semantics in the theory of computing [See also 03B70, 06B35, 18C50] |
|
|
68Q60 |
Specification and verification (program logics, model checking, etc.) [See also 03B70] |
|
|
68Q65 |
Abstract data types; algebraic specification [See also 18C50] |
|
|
68Q70 |
Algebraic theory of languages and automata [See also 18B20, 20M35] |
|
|
68Q80 |
Cellular automata (computational aspects) {For cellular automata as dynamical systems, see 37B15} |
|
|
68Q85 |
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
|
|
68Q87 |
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) [See also 68W20, 68W40] |
|
|
68Q99 |
None of the above, but in this section |
|
|
68R01 |
General topics of discrete mathematics in relation to computer science |
|
|
68R05 |
Combinatorics in computer science |
|
|
68R07 |
Computational aspects of satisfiability [See also 68T20] |
|
|
68R10 |
Graph theory (including graph drawing) in computer science [See also 05Cxx, 90B10, 90C35] |
|
|
68R12 |
Metric embeddings as related to computational problems and algorithms |
|
|
68R15 |
Combinatorics on words |
|
|
68R99 |
None of the above, but in this section |
|
|
68T01 |
General topics in artificial intelligence |
|
|
68T05 |
Learning and adaptive systems in artificial intelligence [See also 68Q32] |
|
|
68T07 |
Artificial neural networks and deep learning |
|
|
68T09 |
Computational aspects of data analysis and big data [See also 62R07] {For homological aspects, see 55N31} |
|
|
68T10 |
Pattern recognition, speech recognition {For cluster analysis, see 62H30} |
|
|
68T20 |
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) |
|
|
68T27 |
Logic in artificial intelligence |
|
|
68T30 |
Knowledge representation |
|
|
68T35 |
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence |
|
|
68T37 |
Reasoning under uncertainty in the context of artificial intelligence |
|
|
68T40 |
Artificial intelligence for robotics [See also 93C85] |
|
|
68T42 |
Agent technology and artificial intelligence |
|
|
68T45 |
Machine vision and scene understanding |
|
|
68T50 |
Natural language processing [See also 03B65, 91F20] |
|
|
68T99 |
None of the above, but in this section |
|
|
68U01 |
General topics in computing methodologies |
|
|
68U03 |
Computational aspects of digital topology {For topological aspects, see 54H30; for homological aspects, see 55-XX} |
|
|
68U05 |
Computer graphics; computational geometry (digital and algorithmic aspects) {For methods of numerical mathematics, see 65D18} |
|
|
68U07 |
Computer science aspects of computer-aided design {For methods of numerical mathematics, see 65D17} |
|
|
68U10 |
Computing methodologies for image processing |
|
|
68U15 |
Computing methodologies for text processing; mathematical typography |
|
|
68U35 |
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) [See also 68M11] |
|
|
68U99 |
None of the above, but in this section |
|
|
68V05 |
Computer assisted proofs of proofs-by-exhaustion type {For rigorous numerics, see 65Gxx; for proofs employing automated or interactive theorem provers, see 68V15} |
|
|
68V15 |
Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [See also 03B35] |
|
|
68V20 |
Formalization of mathematics in connection with theorem provers [See also 03B35, 68V15] |
|
|
68V25 |
Presentation and content markup for mathematics |
|
|
68V30 |
Mathematical knowledge management |
|
|
68V35 |
Digital mathematics libraries and repositories |
|
|
68V99 |
None of the above, but in this section |
|
|
68W01 |
General topics in the theory of algorithms |
|
|
68W05 |
Nonnumerical algorithms |
|
|
68W10 |
Parallel algorithms in computer science |
|
|
68W15 |
Distributed algorithms |
|
|
68W20 |
Randomized algorithms |
|
|
68W25 |
Approximation algorithms |
|
|
68W27 |
Online algorithms; streaming algorithms |
|
|
68W30 |
Symbolic computation and algebraic computation [See also 11Yxx, 12-08, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10] |
|
|
68W32 |
Algorithms on strings |
|
|
68W35 |
Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) [See also 68M07] |
|
|
68W40 |
Analysis of algorithms [See also 68Q25] |
|
|
68W50 |
Evolutionary algorithms, genetic algorithms (computational aspects) [See also 68T05, 68T20, 90C59] |
|
|
68W99 |
None of the above, but in this section |