Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
James Davenport
(Creator)
Department of Computer Science
EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
International Centre for Higher Education Management (ICHEM)
Institute of Coding
UKRI CDT in Accountable, Responsible and Transparent AI
Mathematical Foundations of Computation
Management
Dataset
Overview
Research output
(1)
Projects
(1)
Research output
Research output per year
2017
2017
2017
1
Article
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Search results
2017
What does “without loss of generality” mean, and how do we detect it
Davenport, J.
,
25 Apr 2017
, (E-pub ahead of print)
In:
Mathematics in Computer Science.
11
,
3-4
,
p. 297-303
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
Without Loss of Generality
100%
Cylindrical Algebraic Decomposition
33%
4
Citations (SciVal)