Author:
Corzilius Florian,Kremer Gereon,Junges Sebastian,Schupp Stefan,Ábrahám Erika
Publisher
Springer International Publishing
Reference38 articles.
1. Lecture Notes in Computer Science;J Abbott,2010
2. Akbarpour, B., Paulson, L.C.: Metitarski: An automatic theorem prover for real-valued special functions. Journal of Automated Reasoning 44(3), 175–205 (2010)
3. Lecture Notes in Computer Science;C Barrett,2011
4. Basu, S., Pollack, R., Roy, M.: Algorithms in Real Algebraic Geometry. Springer (2010)
5. Bauer, C., Frink, A., Kreckel, R.: Introduction to the GiNaC framework for symbolic computation within the C++ programming language. Journal of Symbolic Computation 33(1), 1–12 (2002)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SMT: Something You Must Try;iFM 2023;2023-11-06
2. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems;Electronic Proceedings in Theoretical Computer Science;2023-09-30
3. NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
5. Sibyl: Improving Software Engineering Tools with SMT Selection;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05