Cover Image

A Formalization of Elementary Linear Algebra: Part II

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Russinoff, David
Format:	Preprint
Published:	2025
Subjects:	Discrete Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formalization of Elementary Linear Algebra: Part I
by: Russinoff, David
Published: (2025)

Cycles of Well-Linked Sets II: an Elementary Bound for the Directed Grid Theorem
by: Hatzel, Meike, et al.
Published: (2026)

Relational Algebras for Subset Selection and Optimisation
by: Pratten, David Robert, et al.
Published: (2025)

On the Convergence of Elementary Cellular Automata under Sequential Update Modes
by: Donoso-Leiva, Isabel, et al.
Published: (2025)

Elementary methods for splitting representations of Rook monoids: a gentle introduction to groupoids
by: Duchamp, Gérard Henry Edmond, et al.
Published: (2024)

Revisiting Linear Width: Rethinking the Relationship between Single Ideal and Linear Obstacle
by: Fujita, Takaaki
Published: (2023)

A Course of Algebra (PART I)
by: Frasser, Carlos E.
Published: (2024)

On Connectedness of Solutions to Integer Linear Systems
by: Shigenobu, Takasugu, et al.
Published: (2024)

Linear Search with Probabilistic Detection and Variable Speeds
by: Coleman, Jared, et al.
Published: (2025)

An Integer Linear Program for Periodic Scheduling in Universities
by: Moradi, Sina
Published: (2024)

Linear Search for an Escaping Target with Unknown Speed
by: Coleman, Jared, et al.
Published: (2024)

Linear Extensions of Rotor-Routing in Directed Graphs: Reachability Problems
by: Auger, David, et al.
Published: (2024)

A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
by: Chen, Xinyue, et al.
Published: (2025)

Sparse String Graphs and Region Intersection Graphs over Minor-Closed Classes have Linear Expansion
by: Karol, Nikolai, et al.
Published: (2026)

Linear colorings of graphs
by: Hilaire, Claire, et al.
Published: (2025)

A Necessary Condition for Connectedness of Solutions to Integer Linear Systems
by: Shigenobu, Takasugu, et al.
Published: (2025)

Bounds on Linear Turán Number for Trees
by: Adak, Rajat, et al.
Published: (2026)

Linear versus centred chromatic numbers
by: Bose, Prosenjit, et al.
Published: (2022)

Forbidden Patterns in Mixed Linear Layouts
by: Haun, Deborah, et al.
Published: (2024)

An Upper Bound on the Linear Turán Number of $k$-Crowns
by: Adak, Rajat
Published: (2026)

Elementary Cellular Automata as Multiplicative Automata
by: McKinley, Daniel
Published: (2025)

Remote control system of a binary tree of switches -- II. balancing for a perfect binary tree
by: Golinelli, Olivier
Published: (2024)

Note on polychromatic coloring of hereditary hypergraph families II
by: Pálvölgyi, Dömötör
Published: (2026)

Asymptotic normality of pattern counts in random maps II
by: Hainzl, Eva-Maria
Published: (2026)

Linear Layouts of Graphs with Priority Queues
by: Di Giacomo, Emilio, et al.
Published: (2025)

Interaction graphs of isomorphic automata networks II: universal dynamics
by: Bridoux, Florian, et al.
Published: (2024)

Geometry of the Reformulation-Linearization-Technique: Domination of Disjunctions
by: Hof, Hugo A., et al.
Published: (2025)

Combinatorial Algorithm for Tropical Linearly Factorized Programming
by: Nishida, Yuki
Published: (2025)

Linear Programming Hierarchies Collapse under Symmetry
by: Faenza, Yuri, et al.
Published: (2025)

New Solutions to Delsarte's Dual Linear Programs
by: Chailloux, André, et al.
Published: (2024)

Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs
by: Lozin, Vadim, et al.
Published: (2022)

Algorithmic methods of finite discrete structures. Topological graph drawing (part II)
by: Kurapov, Sergey, et al.
Published: (2024)

Binary constraints on one additional variable can create exponential ascents
by: Cohen, David A., et al.
Published: (2026)

Monk Algebras and Representability
by: Alm, Jeremy F.
Published: (2025)

Linear Exact Repair in MDS Array Codes: A General Lower Bound and Its Attainability
by: Liu, Hai, et al.
Published: (2026)

Fast and Furious: A study on Monotonicity and Speed in Cops-and-Robber Games
by: Fluck, Eva, et al.
Published: (2025)

A Linear Kernel for Planar Vector Domination
by: Sahili, Mahabba El, et al.
Published: (2023)

Graph Homomorphisms and Universal Algebra
by: Bodirsky, Manuel
Published: (2026)

String Graph Obstacles of High Girth and of Bounded Degree
by: Chudnovsky, Maria, et al.
Published: (2025)

Mixed Unit Interval Bigraphs : A Characterization
by: Das, Ashok Kumar, et al.
Published: (2026)