-
1تقرير
المؤلفون: Bagheri, Seyed-Mohammad
مصطلحات موضوعية: Mathematics - Logic, 03C10, 03C20, 03C40, 03C66
URL الوصول: http://arxiv.org/abs/2408.03555
-
2تقرير
المؤلفون: Antongiulio, Fornasiero, Terzo, Giuseppina
مصطلحات موضوعية: Mathematics - Logic, 03C60, 03C10 (Primary) 12H05, 12L12 (Secondary)
URL الوصول: http://arxiv.org/abs/2407.14840
-
3تقرير
المؤلفون: Massalha, Sobhi
مصطلحات موضوعية: Mathematics - Group Theory, Mathematics - Logic, 20F06, 20F65, 03C10
URL الوصول: http://arxiv.org/abs/2406.15089
-
4تقرير
المؤلفون: Massalha, Sobhi
مصطلحات موضوعية: Mathematics - Group Theory, Mathematics - Logic, 20F06, 20F65, 03C10
URL الوصول: http://arxiv.org/abs/2406.15080
-
5تقرير
المؤلفون: Florescu, Dorian, England, Matthew
مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Machine Learning, 68W30, 68T05, 03C10, I.2.6, I.1.0
URL الوصول: http://arxiv.org/abs/2404.17508
-
6تقرير
-
7
-
8تقرير
المؤلفون: Rolin, Jean-Philippe, Servi, Tamara, Speissegger, Patrick
مصطلحات موضوعية: Mathematics - Logic, 03C64, 26E10, 03C10, 12J15
URL الوصول: http://arxiv.org/abs/2402.12073
-
9
-
10تقرير
المؤلفون: del Río, Tereso, England, Matthew
مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Machine Learning, 68W30, 68T05, 03C10, I.2.6, I.1.0
URL الوصول: http://arxiv.org/abs/2401.13343