Skip to content
<title>Channels - A Few Notes on Formal Balls :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Few Notes on Formal Balls
Search for more channels:
Similar Items: A Few Notes on Formal Balls
Channel Options
View Record
Explore related channels
Quick Look
Formal Languages, Formally and Coinductively
Quick Look
DataBallPy: Load, synchronize, and Analyse your Soccer Data
Quick Look
Solving Simple Stochastic Games with Few Random Vertices
Quick Look
Abstract Completion, Formalized
Quick Look
What Monads Can and Cannot Do with a Few Extra Pages
Quick Look
A Theory of Formal Choreographic Languages
Quick Look
Formal Theories for Linear Algebra
Quick Look
Formalizing Randomized Matching Algorithms
Quick Look
$sigma$-locales in Formal Topology
Quick Look
Formalizing the Face Lattice of Polyhedra
Quick Look
The Formal Theory of Monads, Univalently
Quick Look
TRX: A Formally Verified Parser Interpreter
Quick Look
A Formal Proof of the Irrationality of $zeta(3)$
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
Formalization of Abstract State Transition Systems for SAT
Quick Look
Mathematical modeling of the thermal stress state of a ball with an eccentric heat-active spherical inclusion
Quick Look
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Quick Look
A Formal Model for Polarization under Confirmation Bias in Social Networks
Quick Look
Multi-representation associated to the numbering of a subbasis and formal inclusion relations
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
A Novel FastKAN With Few-Shot Learning for Real-Time Driver Distraction Detection on TinyML Microcontrollers
Quick Look
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Quick Look
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Load more items
View Record
Prev
Explore related channels
Next
