المؤلفون: Rass, S., Jakobitsch, M., Haan, S., Hiebler, M.

المصدر: IEEE Access Access, IEEE. 12:13513-13524 2024

المؤلفون: Roy, Subhajit

المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) ICSE-SEET Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2023 IEEE/ACM 45th International Conference on. :153-165 May, 2023

Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)

المؤلفون: Gross, Jason^{Aff1, Aff2, IDs10817024097056_cor1}, Erbsen, Andres^{Aff1, Aff3}, Philipoom, Jade^{Aff1, Aff3}, Agrawal, Rajashree, Chlipala, Adam

المصدر: Journal of Automated Reasoning. 68(3)

المؤلفون: First, Emily, Brun, Yuriy

المصدر: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :01-13 May, 2022

Relation: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)

المؤلفون: Bauer, Andrej^{Aff9, Aff10}, Berčič, Katja^{Aff9, Aff10}, Devillez, Gauvain^Aff9, Taslak, Jure^{Aff9, Aff11, Aff12}

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Kohlhase, Andrea, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:146-162

المؤلفون: Avigad, Jeremy^Aff2, Gastaldi, Juan Luis, Section editor^Aff3

المساهمون: Sriraman, Bharath, editor^Aff1

المصدر: Handbook of the History and Philosophy of Mathematical Practice. :3151-3189

المؤلفون: Cohen, Cyril^Aff8, Crance, Enzo^{Aff9, Aff10}, Mahboubi, Assia^{Aff9, Aff11}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Weirich, Stephanie, editor^Aff7

المصدر: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14576:239-268

المؤلفون: Calude, Cristian S.

المصدر: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2021 23rd International Symposium on. :1-3 Dec, 2021

Relation: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler

المصدر: IEEE Access, Vol 12, Pp 13513-13524 (2024)

مصطلحات موضوعية: P/NP question, proofs, barriers, relativization, proof assistants, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10403917/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/cd8c536b4a964b30b69f7ec3a60a50c3

المؤلفون: Jain, Kush, Palmskog, Karl, Celik, Ahmet, Arias, Emilio Jesus Gallego, Gligoric, Milos

المصدر: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2020 IEEE/ACM 42nd International Conference on. :89-92 Oct, 2020

Relation: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)