SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science14 articles•182 pages•Published: March 27, 2016 PapersPages 113  Pages 1428  Pages 2941  Pages 4254  Pages 5567  Pages 6880  Pages 8194  Pages 95106  Pages 107116  Pages 117129  Pages 130142  Pages 143155  Pages 156168  Pages 169182 
Keyphrasesalphaequivalence, arithmetization, automated reasoning, bindingtime analysis, bitsize, Compass and straightedge construction, completeness, componentbased software engineering, computational origami, confluence, Conformal Geometric Algebra, congruence closure, Coq^{3}, critical pairs, crossstage persistence, data structure, decision procedure, delimited continuations, Expression Compatibility Problem, expression problem, expression simplification, formal semantics, formalization, formalized mathematics, functional logic programming, geometry^{2}, interactive theorem proving, Lagrange interpolation, lexicographic Groebner bases, Lightweight Family Polymorphism, Mathematica, multiplicity, narrowing, network monitors, Nominal rewriting, partial evaluation, planarity, PLCA, predicate logic, program verification, proof assistant, qualitative spatial reasoning, shift and reset, soundness, space complexity, staging, stepper, strategies, symbolic computation, Tarski's system of geometry, term equivalence, theory of equality, Triangular Sets, Wang tiling 
