Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Erika Ábrahám, James H. Davenport, Pascal Fontaine, editors, Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. Volume 1804 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]

Conference: synasc2017

Abstract is missing.

CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative AlgebraJohn Abbott, Anna Maria Bigatti. 1-3 [doi]

Satisfaction Meets Practice and ConfidenceTom Bienmüller, Tino Teige. 4-7 [doi]

Algebraic Techniques in Software Verification : Challenges and OpportunitiesMartin Brain, Daniel Kroening, Ryan McCleeary. 8-12 [doi]

MathCheck2: A SAT+CAS Verifier for Combinatorial ConjecturesCurtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki. 13-19 [doi]

What Does "Without Loss of Generality" Mean (And How Do We Detect It)James H. Davenport. 20-23 [doi]

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic DecompositionMatthew England, James H. Davenport. 24-31 [doi]

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint SolvingFelix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer. 32-38 [doi]

runs on WebDSL