-
1دورية أكاديمية
المؤلفون: THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
المصدر: Forum of Mathematics, Pi, Vol 5 (2017)
مصطلحات موضوعية: 52C17, Mathematics, QA1-939
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute
المصدر: Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)
مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, mathematics - probability, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Jeremy Avigad, Edward T Dean, Jason Rute
المصدر: Journal of Logic and Analysis, Vol 4, Iss 0 (2012)
مصطلحات موضوعية: Mathematics, QA1-939
وصف الملف: electronic resource
-
4
المؤلفون: Jason Rute
المصدر: Algorithmic Randomness
مصطلحات موضوعية: Computer science, Calculus, Algorithmic randomness, Constructive, Computable measure theory
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2837b969b6c3550a10ae2d3fc0030b63
https://doi.org/10.1017/9781108781718.004 -
5
المؤلفون: Mathieu Hoyrup, Jason Rute
المساهمون: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Department of Mathematics [Penn State University], Pennsylvania State University (Penn State), Penn State System-Penn State System, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Penn State System
المصدر: Handbook of Computable Analysis
Handbook of Computable Analysis, In press
Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩
Theory and Applications of Computability ISBN: 9783030592332مصطلحات موضوعية: [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Probability theory, Computer science, Algorithmic randomness, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, Mathematical economics, Measure (mathematics), ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory, Computable analysis, Computable measure theory
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7ac22eaf57fddc53825796948a32f89
https://hal.inria.fr/hal-02938919/file/Chapter_HR.pdf -
6
المؤلفون: Jason Rute
المصدر: Information and Computation. 258:50-78
مصطلحات موضوعية: Discrete mathematics, 010102 general mathematics, Algorithmic randomness, Mathematics - Logic, 0102 computer and information sciences, Computer Science::Computational Complexity, Mathematical proof, 01 natural sciences, Computable analysis, Computer Science Applications, Theoretical Computer Science, Mathematics::Logic, Computational Theory and Mathematics, 010201 computation theory & mathematics, FOS: Mathematics, 03D32 (Primary), 68Q30 (Secondary), 0101 mathematics, Logic (math.LO), Randomness, Information Systems, Mathematics
-
7
المؤلفون: Roland Zumkeller, Ky Khac Vu, Joseph Pleso, Tobias Nipkow, Truong Le Hoang, Truong Quang Nguyen, Sean McLaughlin, Steven Obua, Jason Rute, An Hoai Thi Ta, Mark Adams, Alexey Solovyev, Thang Tat Nguyen, Trung Nam Tran, Cezary Kaliszyk, Dat Tat Dang, John Harrison, Victor Magron, Gertrud Bauer, Diep Thi Trieu, Josef Urban, Thomas C. Hales
المصدر: Forum of Mathematics. Pi, 5, 1-29
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Piمصطلحات موضوعية: FOS: Computer and information sciences, Statistics and Probability, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 01 natural sciences, Formal proof, Kepler conjecture, symbols.namesake, Mathematics - Metric Geometry, FOS: Mathematics, Hol light, Discrete Mathematics and Combinatorics, 0101 mathematics, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries), Mathematical Physics, Mathematics, Algebra and Number Theory, 010102 general mathematics, Data Science, Metric Geometry (math.MG), Logic in Computer Science (cs.LO), Algebra, 010201 computation theory & mathematics, symbols, Geometry and Topology, Analysis
وصف الملف: application/pdf
-
8
المصدر: LICS
مصطلحات موضوعية: Random graph, Representation theorem, Computability, 010102 general mathematics, Context (language use), 0102 computer and information sciences, 01 natural sciences, Combinatorics, Kernel (algebra), Conditional independence, 010201 computation theory & mathematics, Adjacency matrix, 0101 mathematics, Random variable, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::13e3e54e6dd62cd5eace6c20d7fae51c
https://doi.org/10.1109/lics.2019.8785762 -
9
المؤلفون: Jason Rute, Johanna N. Y. Franklin, Timothy H. McNicholl
مصطلحات موضوعية: Discrete mathematics, Computability, 010102 general mathematics, Algorithmic randomness, Function (mathematics), Mathematics - Logic, 01 natural sciences, Computable analysis, Theoretical Computer Science, 03 medical and health sciences, symbols.namesake, 0302 clinical medicine, Computational Theory and Mathematics, Fourier analysis, Theory of computation, symbols, FOS: Mathematics, Almost everywhere, 030212 general & internal medicine, 0101 mathematics, 03D32 (Primary) 03D78, 42A20 (Secondary), Logic (math.LO), Fourier series, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3256d689013f25f3284c7745418a4ef7
-
10
المؤلفون: Jason Rute
مصطلحات موضوعية: Discrete mathematics, Property (philosophy), General Computer Science, 010102 general mathematics, Algorithmic randomness, Mathematics - Logic, 01 natural sciences, Computable analysis, Theoretical Computer Science, 010309 optics, Set (abstract data type), Transformation (function), 0103 physical sciences, FOS: Mathematics, 0101 mathematics, 03D32 (Primary), 68Q30 (Secondary), Logic (math.LO), Randomness, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eeb4eb10489d42e1c382b822295fa469