Flyspeck II: The basic linear programs
type: Item
instance of: scholarly article
title: Flyspeck II: The basic linear programs
zbMATH Open document ID: 1184.68465
author: Steven Obua
author: Tobias Nipkow
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2010-03-19T00:00:00Z
full work available at URL: document.pdf
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 90C05
zbMATH DE Number: 5685228
describes a project that uses: Tame Graphs
describes a project that uses: kepler98
describes a project that uses: LCF
describes a project that uses: Flyspeck
describes a project that uses: Coq
describes a project that uses: Isar
MaRDI profile type: Publication
OpenAlex ID: W2093262333
cites work: A Compiled Implementation of Normalization by Evaluation
cites work: Types for Proofs and Programs
cites work: Q2754029
cites work: Q4435458
cites work: Q5532570
cites work: Q3894958
cites work: Q5302559
cites work: Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition
cites work: Q3184276
cites work: A proof of the Kepler conjecture
cites work: A formulation of the Kepler conjecture
cites work: A revision of the proof of the Kepler conjecture
cites work: Theorem Proving in Higher Order Logics
cites work: Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings.
cites work: Partial Recursive Functions in Higher-Order Logic
cites work: Flyspeck I: Tame Graphs
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Proof Pearl: Looping Around the Orbit
DOI: 10.1007/S10472-009-9168-Z
Recommended article: Linear Programming
Recommended article: Q3763895
Recommended article: Q4395412
Recommended article: Q4946566
Recommended article: Q4674152
Recommended article: Q3706824
Recommended article: Solving linear programs with finite precision. II: Algorithms
Recommended article: Linear Programming from Fibonacci to Farkas
description: scientific article