The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SC²@SYNASC"( http://dblp.L3S.de/Venues/SC²@SYNASC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/synasc

Publication years (Num. hits)
2016 (7) 2017 (1)
Publication types (Num. hits)
inproceedings(7) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.) 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. Search on Bibsonomy SC²@SYNASC The full citation details ... 2017 DBLP  BibTeX  RDF
1James H. Davenport What Does "Without Loss of Generality" Mean (And How Do We Detect It). Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Brain, Daniel Kroening, Ryan McCleeary Algebraic Techniques in Software Verification : Challenges and Opportunities. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Tom Bienmüller, Tino Teige Satisfaction Meets Practice and Confidence. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Matthew England, James H. Davenport Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license