2853 search results - page 170 / 571 » On Coherence in Computer Algebra |
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
112
click to vote
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
We generalize results of Homma and Kim [2001, J. Pure Appl. Algebra 162, 273?290] concerning an improvement on the Goppa bound on the minimum distance of certain Goppa codes.
109
click to vote
FOCS
1990
IEEE
15 years 8 months ago
1990
IEEE
The first algebraic average-case complete problem is presented. It is arguably the simplest natural average-case complete problem to date.
132
click to vote
DCC
1998
IEEE
15 years 4 months ago
1998
IEEE
We discuss some methods for the enumeration, construction and random generation of isometry classes of block codes using methods from algebraic combinatorics.
158
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...