Dataset Open Access

Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'

Davenport, James

This is the dataset (Maple files and PDF equivalents) supporting the paper 'What Does "Without Loss of Generality"  Mean (And How Do We Detect It)', presented at the Symbolic Computation and Satisfiability Checking workshop at SYNASC 2016 ( 24-27September 2016, Timisoara) and published by CEUR-WS.

Files (4.2 MB)
Name Size
SC2-BATH-SC2-2106.zip
md5:501b0aa7e9c63d0b6254b2e0412b7473
4.2 MB Download
58
1
views
downloads
All versions This version
Views 5858
Downloads 11
Data volume 4.2 MB4.2 MB
Unique views 5757
Unique downloads 11

Share

Cite as