Design concepts for matrices and lattices in LiDIA
Pages 532 - 536
References
[1]
Babai, L.: On Lovksz' Lattice Reduction and the Nearest Lattice Point Problem. Combinatorica 6, 1-13 (1986).
[2]
Barton, J.J., and Nackman, L.R.: Scientillc and Engineering C++- An Introduction with Advanced Techniques and Examples. Addison Wesley (1994).
[3]
Batut, C., Bernardi, D., Cohen, H., and Olivier, M.: User's Guide to PARLGP. University of Bordeaux, ftp://megrez, math. u-bordraux.fr (1995).
[4]
Biehl, I., Buchmann, J., and Papanikolaou, T.: LiDIA: A Library for Computational Number Theory. Technical Report 03/95, SFB 124, Universit~t des Saarlandes (1995).
[5]
Buchmann, J., and Kessler, V.: Computing a Reduced Lattice Basis from a Generating System. Preprint, Universitat des Saarlandes (1992).
[6]
Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., and Watt, S.M.: Maple V Library Reference Manual. Springer-Verlag and Waterloo Maple Publishing ( 1991).
[7]
Cohen, H.: A Course in Computational AIgebra/c Number Theory. Second Edition, Springer Verlag Heidelberg (1993).
[8]
Finckc, U., and Pohst, M.: Improved Methods for Calculation Vectors of Short Length in a Lattice, including a Complexity Analysis. Math. Comp. 44, 463-471 (1995).
[9]
Kernighan, B.W., and Pu'tchie, D.M~: The C Programming Language. Second Edition, Prentice Hall, EngJewood Cliffs, New Jersey (1988).
[10]
Lenstra, A. K., Lenstra, H. W. Jr., and Lovksz, L.: Factoring Polynomials with Rational Coefficients. Math. Ann. 261, 515-534 (1982).
[11]
LiDIA Group: LiDIA Manual. Universitat des Saarlandes/TH Darmstadt, see LiDIA homepage: http://www-jb, ca. uni-sb, de/LiDIl/linkhtml/lidia /lidia.html (1996).
[12]
Schnorr, C.P., and Euchner, M.: Lattice Basis Reduction: Improved Practical Algorithms and Solving Subset Sum Problems. Springer Lecture Notes in Computer Science LNCS 529, 68-85 (1991).
[13]
Stroustrup, B.: The C+-t- Programming Language. Second Edition, Addison Wesley (1991).
[14]
Vcldhuizen, T.: Expression Templates. Developer Information and Resources, Rogue Wave Software, Inc. (1994).
[15]
Wolfram, S.: Mathematica - A System for Doing Mathematics by Computer. Second Edition, Addison Wesley (1991).
Index Terms
- Design concepts for matrices and lattices in LiDIA
Recommendations
Row and Column Spaces of Matrices over Residuated Lattices
Concept Lattices and Their ApplicationsWe present results regarding row and column spaces of matrices whose entries are elements of residuated lattices. In particular, we define the notions of a row and column space for matrices over residuated lattices, provide connections to concept ...
Construction of concept lattices based on indiscernibility matrices
KSEM'06: Proceedings of the First international conference on Knowledge Science, Engineering and ManagementFormal concepts and concept lattices are two central notions of formal concept analysis. This paper investigates the problem of determining formal concepts based on the congruences on semilattices. The properties of congruences corresponding to formal ...
Integrally Closed Residuated Lattices
AbstractA residuated lattice is said to be integrally closed if it satisfies the quasiequations and , or equivalently, the equations and . Every integral, cancellative, or divisible residuated lattice is integrally closed,...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 1997
545 pages
ISBN:0897918509
DOI:10.1145/331697
Copyright © 1997 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 April 1997
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 239Total Downloads
- Downloads (Last 12 months)27
- Downloads (Last 6 weeks)5
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in