- Equiangular lines, Incoherent sets and Quasi-symmetric designs
2018/09/15 by Neil I. Gillespie, Gillespie, Neil I. · 4 citations
Materials Science · Mathematics · #Combinatorial design #Combinatorics #Combinatorics (math.CO) #Computer science #Discrete mathematics #Equiangular polygon #FOS: Mathematics #Geometry #Intersection (aeronautics) #Limits and Structures in Graph Theory #Mathematical Approximation and Integration #Mathematical analysis #Mathematics #Maximal set #Metric Geometry (math.MG) #Pairwise comparison #Quasicrystal Structures and Properties #Set (abstract data type) #Subspace topology #Unit vector #Upper and lower bounds #math.CO #math.MG
- Post's program and incomplete recursively enumerable sets.
1991/11/15 by Louise Harrington, Robert I. Soare · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Advanced Algebra and Logic #Recursively enumerable language #Recursively enumerable set #Maximal set #Mathematics #Turing #Combinatorics #Set (abstract data type) #Discrete mathematics #Existential quantification #Algebraic number #Order (exchange) #Computer science
- Universal diophantine equation
1982/09/01 by James P. Jones · 1 citation
Computer Science · Mathematics · #Artificial Intelligence in Games #Logic, programming, and type systems #Polynomial and algebraic computation #Diophantine equation #Recursively enumerable language #Recursively enumerable set #Diophantine set #Maximal set #Mathematics #Integer (computer science) #Discrete mathematics #Exponential function #Relation (database) #Combinatorics #Set (abstract data type) #Mathematical analysis #Computer science
- Automorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal Sets
1974/07/01 by Robert I. Soare · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Automorphism #Combinatorics #Computability, Logic, AI Algorithms #Computer science #Discrete mathematics #Lattice (music) #Mathematics #Maximal set #Pure mathematics #Recursively enumerable language #Recursively enumerable set #Set (abstract data type) #semigroups and automata theory
- Recursively enumerable sets of positive integers and their decision problems
1944/01/01 by Emil L. Post · 11 citations
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Algebra and Logic #Benford’s Law and Fraud Detection #Recursively enumerable language #Mathematics #Recursively enumerable set #Maximal set #Combinatorics #Discrete mathematics #Computer science #Set (abstract data type)