SCSS 2013: Volume InformationSCSS 2013. 5th International Symposium on Symbolic Computation in Software Science14 articles•125 pages•Published: June 19, 2013 PapersBruno Buchberger 1  Wei Li 2  Joel Ouaknine 3  María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña 418  Marco Comini and Luca Torella 1930  Marco Comini and Luca Torella 3149  Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi 5063  Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano and Hideki Sakurada 6469  Severin Neumann 7080  Rachid Rebiha, Nadir Matringe and Arnaldo Vieira Moura 8192  Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto 93107  Matan ZivAv and Mikhail Klin 108123  Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Oleksandr Letychevskyi and Vladimir Peschanenko 124  Robert Vajda 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. 
