- Solomonoff induction
2026/03/17 by Sterkenburg, Tom F., Tom F. Sterkenburg · 1 voice
Computer Science · Neuroscience · Psychology · #Argument (complex analysis) #Computability #Computability, Logic, AI Algorithms #Embodied and Extended Cognition #Foundation (evidence) #Generalization #Ideal (ethics) #Philosophy and Theoretical Science #cs.FL #cs.LG
- On non-detectability of non-computability and the degree of non-computability of solutions of circuit and wave equations on digital computers
2021/01/01 by Holger Boche, Volker Pohl · 3 voices · 1 citation
Computer Science · Mathematics · #Algorithm #Cellular Automata and Applications #Computability #Computability, Logic, AI Algorithms #Computer science #Description number #Differentiable function #Discrete mathematics #Invariant (physics) #Mathematical analysis #Mathematics #Probabilistic Turing machine #Pure mathematics #Quantum Computing Algorithms and Architecture #Super-recursive algorithm #Turing #Turing machine #Universal Turing machine #Upper and lower bounds #cs.IT #math.IT
- Learning a SAT Solver from Single-Bit Supervision
2018/02/11 by Daniel Selsam, Matthew Lamm, Selsam, Daniel +9 · 1 voice · 66 citations
Computer Science · Decision Sciences · Mathematics · #Auction Theory and Applications #Boolean satisfiability problem #Clique #Combinatorics #Computability #Computer science #Conjunctive normal form #Constraint Satisfaction and Optimization #Edge cover #Graph #Independent set #Mathematics #Programming language #Random graph #Satisfiability #Software Engineering Research #Solver #Theoretical computer science #Vertex (graph theory) #Vertex cover #cs.AI #cs.LG #cs.LO
- Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length
2016/01/01 by Olivier Bournez, Daniel S. Graça, Amaury Pouly · 4 citations
Computer Science · Mathematics · #Algebra over a field #Algorithm #Cellular Automata and Applications #Complexity class #Computability #Computability, Logic, AI Algorithms #Computable analysis #Computable function #Computable number #Computation #Differential (mechanical device) #Differential equation #Discrete mathematics #Mathematical analysis #Mathematics #Model of computation #Ordinary differential equation #Polynomial #Pure mathematics #Time complexity #Turing machine #cs.CC #semigroups and automata theory
- Combinatorial Group Theory
1989/08/17 by Daniel E. Cohen · 2 citations
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Mathematical proof #Mathematics #Group (periodic table) #Embedding #Topological group #Computability #Discrete mathematics #Pure mathematics #Algebra over a field #Computer science #Combinatorics #Topology (electrical circuits) #Artificial intelligence
- Linear-time computability of combinatorial problems on series-parallel graphs
1982/07/01 by K. Takamizawa, Takao Nishizeki, Naobumi Saito · 4 citations
Computer Science · Engineering · Medicine · #Computability, Logic, AI Algorithms #Algorithms and Data Compression #graph theory and CDMA systems #Computability #Citation #Computer science #Sendai virus #Telecommunications #Library science #Algorithm #Medicine
- Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
1976/12/01 by Garth P. McCormick · 146 citations
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Algorithm #Applied mathematics #Computability #Convex optimization #Linear programming #Mathematical optimization #Mathematics #Nonlinear programming #Nonlinear system #Optimization and Variational Analysis #Regular polygon