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

Source URL: peerj.com

• Mathematics
• Algebra
• Mathematical software
• Computer algebra
• SymPy
• Orthogonal polynomials
• Elementary algebra
• SageMath
• Grbner basis
• Polynomial
• Numerical analysis
• Chebyshev polynomials

Neuro-Symbolic Program Corrector for Introductory Programming Assignments Sahil Bhatia Pushmeet Kohli

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computational linguistics
• Applied mathematics
• Source code
• Syntax
• N-gram
• Artificial neural network
• Parsing
• Recurrent neural network
• Speech recognition
• TeX

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl

Source URL: www.react.uni-saarland.de

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

Source URL: www.falkhowar.de

• Theoretical computer science
• Software testing
• Software engineering
• Computing
• Constraint programming
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Satisfiability modulo theories
• Java Pathfinder
• Solver
• KeY

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

Source URL: www.john.jperry.net

Gender matters - Performance spillover effects of symbolic recognition at school Andrea Essl and Frauke von Bieberstein *

Source URL: www.iop.unibe.ch

Executable Symbolic Modeling of Neural Processes M Sriram Iyengar1, Carolyn Talcott2, Riccardo Mozzachiodi3, Douglas Baxter3 1School

Source URL: pl.csl.sri.com

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

Source URL: www.markrtuttle.com

Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: cl-informatik.uibk.ac.at