-
1
المؤلفون: Dmitry Gavinsky, Pavel Pudlák
المصدر: Theory of Computing Systems. 64:1140-1154
مصطلحات موضوعية: Discrete mathematics, Sequence, Computational Theory and Mathematics, Theory of computation, TheoryofComputation_GENERAL, Value (computer science), Lexicographical order, Condenser (heat transfer), Theoretical Computer Science, Extractor, Mathematics
-
2
المؤلفون: Pavel Pudlák, Mateus de Oliveira Oliveira
المصدر: ACM Transactions on Computation Theory. 11:1-31
مصطلحات موضوعية: Discrete mathematics, Mathematics::Combinatorics, 000 Computer science, knowledge, general works, Linear programming, Model of computation, 010102 general mathematics, Field (mathematics), Polytope, 0102 computer and information sciences, Computer Science::Computational Complexity, 01 natural sciences, Theoretical Computer Science, Monotone polygon, Computational Theory and Mathematics, 010201 computation theory & mathematics, Computer Science, 0101 mathematics, Computer Science::Data Structures and Algorithms, Boolean function, Hardware_LOGICDESIGN, Mathematics, Electronic circuit, Interpolation
-
3
المؤلفون: Pavel Pudlák
مصطلحات موضوعية: Discrete mathematics, FOS: Computer and information sciences, Generalization, Computer Science - Information Theory, Information Theory (cs.IT), Block (permutation group theory), Field (mathematics), Computer Science Applications, Theoretical Computer Science, law.invention, Matrix (mathematics), Tree (descriptive set theory), Quadratic equation, Invertible matrix, Finite field, 94B60, law, Signal Processing, Information Systems, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9f494cc018dea7b78ebe740939d0899
-
4
المؤلفون: Pavel Pudlák
مصطلحات موضوعية: Discrete mathematics, FOS: Computer and information sciences, Polynomial, Logic, Generalization, Boolean circuit, 010102 general mathematics, Frege system, 0102 computer and information sciences, Disjoint sets, Mathematics - Logic, Characterization (mathematics), Computational Complexity (cs.CC), 01 natural sciences, Computer Science - Computational Complexity, Monotone polygon, 03F20, 010201 computation theory & mathematics, Bounded function, FOS: Mathematics, 0101 mathematics, Logic (math.LO), Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94c6a4f52cc8f21e1500e0366d13ec1d
http://arxiv.org/abs/1912.03013 -
5
المؤلفون: Pavel Pudlák, Pavel Hrubes
المصدر: Information Processing Letters. 131:15-19
مصطلحات موضوعية: TheoryofComputation_MISCELLANEOUS, Unary operation, Open problem, TheoryofComputation_GENERAL, Binary number, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science Applications, Theoretical Computer Science, Combinatorics, Monotone polygon, 010201 computation theory & mathematics, Binary addition, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Boolean function, Hardware_LOGICDESIGN, Information Systems, Mathematics, Electronic circuit
-
6
المؤلفون: Pavel Pudlák
المصدر: The Bulletin of Symbolic Logic. 23:405-441
مصطلحات موضوعية: Theoretical computer science, Computational complexity theory, Logic, Proof complexity, Computer science, 010102 general mathematics, Syntactic complexity, Mathematics - Logic, 0102 computer and information sciences, Gödel's incompleteness theorems, 01 natural sciences, Domain (software engineering), Philosophy, 03F20, 010201 computation theory & mathematics, FOS: Mathematics, 0101 mathematics, Computational problem, Logic (math.LO), Sentence
-
7
المؤلفون: Dmitry Gavinsky, Pavel Pudlák
المصدر: Commentationes Mathematicae Universitatis Carolinae. 57:333-343
مصطلحات موضوعية: Pairwise independence, Combinatorics, Variables, General Mathematics, media_common.quotation_subject, Entropy (information theory), Binary number, Pairwise comparison, Joint entropy, Random variable, Upper and lower bounds, media_common, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b655dd82ba5d67b841e62aa4e65e30f6
https://doi.org/10.14712/1213-7243.2015.169 -
8
المؤلفون: Pavel Pudlák
المصدر: Linear Algebra and its Applications. 490:124-144
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Information Theory, Tree code, MathematicsofComputing_NUMERICALANALYSIS, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, law.invention, Tree (descriptive set theory), law, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, Mathematics, Discrete mathematics, Numerical Analysis, Algebra and Number Theory, Information Theory (cs.IT), 020206 networking & telecommunications, Birkhoff interpolation, Connection (mathematics), 94B60, Invertible matrix, Finite field, 010201 computation theory & mathematics, Geometry and Topology, Error detection and correction
-
9
المؤلفون: Pavel Pudlák, Pavel Hrubes
المصدر: FOCS
مصطلحات موضوعية: Discrete mathematics, Logarithm, Pigeonhole principle, 0102 computer and information sciences, 02 engineering and technology, Computer Science::Computational Complexity, 01 natural sciences, Upper and lower bounds, Satisfiability, Exponential function, Combinatorics, Monotone polygon, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Boolean function, Interpolation, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3bd1bf543b811d6a626fb5eea5af419d
https://doi.org/10.1109/focs.2017.20 -
10
المؤلفون: Samuel R. Buss, Pavel Pudlák, Petr Hájek, Shizuo Kamo
المصدر: Logic Colloquium '98: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998
مصطلحات موضوعية: Pure mathematics, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::82225ce89141084b5aee780a610bdc16
https://doi.org/10.1017/9781316756140.020