Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,737,880 papers from all fields of science
Search
Sign In
Create Free Account
Congruence of squares
Known as:
Congruence
In number theory, a congruence of squares is a congruence commonly used in integer factorization algorithms.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Continued fraction factorization
Dixon's factorization method
Euclidean algorithm
Factor base
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Approaches to Attribute Reduction in Concept Lattices Based on Rough Set Theory
Xia Wang
2012
Corpus ID: 15126880
This paper mainly proposes notions and methods of attribute reduction in concept lattices based on rough set theory. Using…
Expand
2010
2010
A Study on Secure Data Storage Strategy in Cloud Computing
Danwei Chen
,
Yan-Jun He
J. Convergence Inf. Technol.
2010
Corpus ID: 16555998
Based on fundamental theories of k equations in algebra, n congruence surplus principle in elementary number theory, and the…
Expand
2001
2001
Leibniz filters and the strong version of a protoalgebraic logic
J. M. Font
,
R. Jansana
Archive for Mathematical Logic
2001
Corpus ID: 12158822
Abstract. A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra…
Expand
Highly Cited
1996
Highly Cited
1996
A Critical Study of Homoplasy in Molecular Data with the Use of a Morpholoogically Based Cladogram, and Its Consequences for Character Weighting
H. Philippe
,
G. Lecointre
,
H. L. Van Le
,
H. le Guyader
1996
Corpus ID: 14107513
An improvement in molecular phylogenetic inference is usually expected with the elimination of highly variable positions from…
Expand
1995
1995
Operational Semantics of Constraint Logic Programs with Coroutining
A. Podelski
,
G. Smolka
International Conference on Logic Programming
1995
Corpus ID: 7588170
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc…
Expand
1995
1995
The syntax and semantics of entailment in duality theory
B. Davey
,
M. Haviar
,
H. Priestley
Journal of Symbolic Logic (JSL)
1995
Corpus ID: 1711933
Abstract Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem…
Expand
1985
1985
Covers in free lattices
R. Freese
,
J. Nation
1985
Corpus ID: 53634341
In this paper we study the covering relation ( u > v ) in finitely generated free lattices. The basic result is an algorithm…
Expand
1980
1980
Deoxyribonucleic Acid Reassociation in the Classification of the Genus Rhodococcus Zopf 1891 (Approved Lists, 1980)
M. Mordarski
,
M. Goodfellow
,
I. Kaszen
,
A. Tkacz
,
G. Pulverer
,
K. Schaal
1980
Corpus ID: 83527318
We determined the degree of binding between deoxyribonucleic acid (DNA) preparations from representative rhodococci and thymine…
Expand
1964
1964
Congruence relations in semilattices
D. Papert
1964
Corpus ID: 124038895
Highly Cited
1959
Highly Cited
1959
Applications of matrix algebra to network theory
I. Cederbaum
IRE Transactions on Information Theory
1959
Corpus ID: 9016113
In this paper some properties of unimodular (or E -) and paramount (or M -) matrices are discussed. The paper deals with matrices…
Expand