-
1تقرير
المؤلفون: Lutz, Patrick
مصطلحات موضوعية: Mathematics - Logic, 03E25
URL الوصول: http://arxiv.org/abs/2309.11634
-
2تقرير
المؤلفون: Lutz, Patrick, Walsh, James
مصطلحات موضوعية: Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2309.11598
-
3
-
4تقرير
المؤلفون: Lutz, Patrick
مصطلحات موضوعية: Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2306.05746
-
5تقرير
-
6تقرير
المؤلفون: Lutz, Patrick, Siskind, Benjamin
مصطلحات موضوعية: Mathematics - Logic, 03D55, 03E60
URL الوصول: http://arxiv.org/abs/2305.19646
-
7تقرير
المؤلفون: Lutz, Patrick
مصطلحات موضوعية: Mathematics - Logic, 03E15, 03E60, 54H05, 03D30, 03D80
URL الوصول: http://arxiv.org/abs/2301.07259
-
8تقرير
-
9دورية أكاديمية
المؤلفون: Browning, Thomas, Lutz, Patrick
المصدر: Experimental Mathematics. 31(2)
مصطلحات موضوعية: Pure Mathematics, Mathematical Sciences, Lean, interactive theorem proving, formal verification, field theory, Galois theory, Applied Mathematics, Numerical and Computational Mathematics, General Mathematics, Applied mathematics, Numerical and computational mathematics, Pure mathematics
وصف الملف: application/pdf
URL الوصول: https://escholarship.org/uc/item/1sz1g76v
-
10تقرير
المؤلفون: Browning, Thomas, Lutz, Patrick
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Number Theory
URL الوصول: http://arxiv.org/abs/2107.10988