학술논문
'학술논문'
에서 검색결과 267건 | 목록
1~10
Academic Journal
Nalbach, Jasper; Ábrahám, Erika; Specht, Philippe; Brown, Christopher W.; Davenport, James H.; England, Matthew
In Journal of Symbolic Computation July-August 2024 123
Conference
2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2023 25th International Symposium on. :44-51 Sep, 2023
Conference
2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2023 25th International Symposium on. :5-10 Sep, 2023
Academic Journal
In Journal of Logical and Algebraic Methods in Programming February 2021 119
Academic Journal
In Journal of Symbolic Computation September-October 2020 100:38-71
Academic Journal
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
In Journal of Symbolic Computation May-June 2020 98:84-119
Conference
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :55-58 Sep, 2022
Report
Proceedings of the 7th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '22), A. Uncu and H. Barbosa eds. CEUR Workshop Proceedings 3458, pp. 10-24, 2023
Report
Proceedings of the 8th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '23), E. \'Abrah\'am and T. Sturm eds. CEUR Workshop Proceedings 3455, pp. 54-60, 2023
검색 결과 제한하기
제한된 항목
[AR] Davenport, James H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어