swMATH23625MaRDI QIDQ35396FDOQ35396
Author name not available (Why is that?)
Official website: https://github.com/flyspeck/kepler98
Source code repository: https://github.com/flyspeck/kepler98
Cited In (only showing first 100 items - show all)
- Givaro
- LinBox
- SLEDGE
- Isar
- QSopt_ex
- Isabelle/ZF
- QSopt-Exact
- HOL Light
- C-CoRN
- Automath
- jSpin
- LCF
- CakeML
- Intsolver
- NLCertify
- symamd
- CertiCrypt
- DESUMA
- GIDDES
- SAD
- COLMOD
- ATL
- Flyspeck
- SymPol
- SPQR_RANK
- Poly/ML
- Coquelicot
- HybridSal
- Mtac
- QuickChick
- ROSCoq
- dedukti
- TCT
- infinite group relaxation
- HoTT
- Lean
- seL4
- HOL Zero
- SPECTRA
- Tahuti
- MizAR 40 for Mizar 40
- CR-LIBM
- Leo-III
- LATIN
- Limi
- Liss
- Lifting
- CertiKOS
- Logic Theorist
- Transfer
- Tweety
- Polyhedral
- Algorithm 700
- Jordan
- MathOverflow
- RedPRL
- conauto
- DeepStack
- snarkhunter
- Cayley-Hamilton
- RealCertify
- Naproche
- Arrow Gibbard Satterthwaite
- Echelon Form
- Gauss-Jordan
- Graph Theory
- QR Decomposition
- Jinja not Java
- univsos
- Imperative Refinement
- Tame Graphs
- Rank Nullity
- Vector Spaces
- Split Packing
- Cytoscape.js
- RODES
- ProofPeer
- XIsabelle
- Cambridge LCF
- CoqInE
- Logipedia
- Jape
- OpenTheory
- Whelp
- RepnDecomp
- Sophia
- SpectralMeasures.jl
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- Quaternions
- mathlib
- Aristotles_Assertoric_Syllogistic
- Amicable Numbers
- Irrationality_J_Hancl
- Irrational_Series_Erdos_Straus
- Octonions
- PLM
- Pratt_Certificate
- Transcendence_Series_Hancl_Rucki
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
- Flyspeck II: The basic linear programs
This page was built for software: kepler98