Skip to content
<title>Channels - Formalizing the Face Lattice of Polyhedra :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Formalizing the Face Lattice of Polyhedra
Search for more channels:
Similar Items: Formalizing the Face Lattice of Polyhedra
Channel Options
View Record
Explore related channels
Quick Look
Predicative theories of continuous lattices
Quick Look
Formal Languages, Formally and Coinductively
Quick Look
Lattice Basis Reduction Attack on Matrix NTRU
Quick Look
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Quick Look
First Order Theories of Some Lattices of Open Sets
Quick Look
Abstract Completion, Formalized
Quick Look
Uniqueness of directed complete posets based on Scott closed set lattices
Quick Look
$sigma$-locales in Formal Topology
Quick Look
Formal Theories for Linear Algebra
Quick Look
Formalizing Randomized Matching Algorithms
Quick Look
The Formal Theory of Monads, Univalently
Quick Look
MiNTT: A Family of Module Lattice-Based Cryptographic Compression Functions
Quick Look
A Few Notes on Formal Balls
Quick Look
A Theory of Formal Choreographic Languages
Quick Look
FaceSpoofLDM: Language-Guided Synthesis of Face Presentation Attacks Based on Latent Diffusion
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
TRX: A Formally Verified Parser Interpreter
Quick Look
Formalization of Abstract State Transition Systems for SAT
Quick Look
A Formal Proof of the Irrationality of $zeta(3)$
Quick Look
Face to Face with Argentinian Truco: Origins and Evolution
Quick Look
Weighted Logics for Nested Words and Algebraic Formal Power Series
Quick Look
Formalized linear algebra over Elementary Divisor Rings in Coq
Quick Look
Variational and Majorization Principles in Lattice Reduction
Quick Look
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Load more items
View Record
Prev
Explore related channels
Next
