SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science14 articles•125 pages•Published: June 20, 2013 PapersPage 1  Page 2  Page 3  Pages 418  Pages 1930  Pages 3149  Pages 5063  Pages 6469  Pages 7080  Pages 8192  Pages 93107  Pages 108123  Page 124  Page 125 
Keyphrasesalgebraic number, automated verification, BB84, bottomup semantics, computational model, computational origami, computer algebra, Debugging, Distributed memory architecture, elecronic cash protocol, equitable partitions, F4 algorithm, formal methods, Geometrical constraint solving, Groebner basis, Gröbner basis, induction scheme, invariants, knot fold, Lebesgue constant, linear algebra, Maude, MPI, polynomial interpolation, process calculi, program animation, propertyoriented specifications, quantifier elimination, quantum cryptography, Requirements Specification, resultant, rewriting logic, semanticsbased inference methods, Slicing, static analysis, stepping, strongly regular graphs, symbolic verification, term rewriting, Term Rewriting Systems^{2}, termination analysis, theorem proving, theorem proving methods 
