21![SymPy: symbolic computing in Python Aaron Meurer1 , Christopher P. Smith2 , Mateusz Paprocki3 , Ondřej Čertík4 , Sergey B. Kirpichev5 , Matthew Rocklin3 , AMiT Kumar6 , Sergiu Ivanov7 , Jason K. Moore8 , Sartaj Singh9 SymPy: symbolic computing in Python Aaron Meurer1 , Christopher P. Smith2 , Mateusz Paprocki3 , Ondřej Čertík4 , Sergey B. Kirpichev5 , Matthew Rocklin3 , AMiT Kumar6 , Sergiu Ivanov7 , Jason K. Moore8 , Sartaj Singh9](https://www.pdfsearch.io/img/30b5f1e6078ff7344e443c7050d29646.jpg) | Add to Reading ListSource URL: peerj.comLanguage: English - Date: 2017-01-05 08:28:20
|
---|
22![Neuro-Symbolic Program Corrector for Introductory Programming Assignments Sahil Bhatia Pushmeet Kohli Neuro-Symbolic Program Corrector for Introductory Programming Assignments Sahil Bhatia Pushmeet Kohli](https://www.pdfsearch.io/img/c5d66a76c29b46257f9597c0123d0528.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
23![BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/a55e8193303fed2e83bfdd2a06309afb.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
24![Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl](https://www.pdfsearch.io/img/d4d043eb4b17aad4450bddd81c18c4f5.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
25![JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1 JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1](https://www.pdfsearch.io/img/5317427cfb22395f20d60a187f57f519.jpg) | Add to Reading ListSource URL: www.falkhowar.deLanguage: English - Date: 2018-09-30 08:43:02
|
---|
26![Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by](https://www.pdfsearch.io/img/4192625f7667a3af40feab0c8ec1fc8f.jpg) | Add to Reading ListSource URL: www.john.jperry.netLanguage: English - Date: 2017-10-22 23:32:37
|
---|
27![Gender matters - Performance spillover effects of symbolic recognition at school Andrea Essl and Frauke von Bieberstein * Gender matters - Performance spillover effects of symbolic recognition at school Andrea Essl and Frauke von Bieberstein *](https://www.pdfsearch.io/img/113e4dc80d82455fc0c8f8ad439a2fd8.jpg) | Add to Reading ListSource URL: www.iop.unibe.chLanguage: English - Date: 2018-07-25 05:36:43
|
---|
28![Executable Symbolic Modeling of Neural Processes M Sriram Iyengar1, Carolyn Talcott2, Riccardo Mozzachiodi3, Douglas Baxter3 1School Executable Symbolic Modeling of Neural Processes M Sriram Iyengar1, Carolyn Talcott2, Riccardo Mozzachiodi3, Douglas Baxter3 1School](https://www.pdfsearch.io/img/308e1f14a0c950eaec4174a2794b9e06.jpg) | Add to Reading ListSource URL: pl.csl.sri.comLanguage: English - Date: 2018-08-10 18:50:29
|
---|
29![Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to](https://www.pdfsearch.io/img/8fa95f64c5327bd1689f98c07e3a2e48.jpg) | Add to Reading ListSource URL: www.markrtuttle.comLanguage: English - Date: 2015-08-01 14:12:14
|
---|
30![Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/2441f08c99db0ca3fcaef9d71b0219a4.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2016-09-11 10:26:10
|
---|