Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Activities
Research Labs / Equipment
Datasets
Projects
Search by expertise, name or affiliation
Proving implications by algebraic approximation
Michael Codish
,
Grigory Mashevitzky
Department of Computer Science
Department of Mathematics
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Proving implications by algebraic approximation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Algebraic Approximation
100%
Computer Science
50%
Automated Method
50%
Infinite Domain
50%
Lattice Structure
50%
Effective Algorithm
50%
Semilattice
50%
Computer Science
Approximation (Algorithm)
100%
Computer Science
50%
Semilattice
50%