bibliographer - Victor Magron

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares Victor Magron Przemysław Koprowski Tristan Vaccon [github]

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis Grigory Devadze Victor Magron Stefan Streif [github]

A FORMAL PROOF OF THE KEPLER CONJECTURE THOMAS HALES MARK ADAMS GERTRUD BAUER TAT DAT DANG JOHN HARRISON LE TRUONG HOANG CEZARY KALISZYK VICTOR MAGRON SEAN MCLAUGHLIN TAT~THANG NGUYEN QUANG TRUONG NGUYEN TOBIAS NIPKOW STEVEN OBUA JOSEPH PLESO JASON RUTE ALEXEY SOLOVYEV THI HOAI AN TA NAM TRUNG TRAN THI DIEP TRIEU JOSEF URBAN KY VU ROLAND ZUMKELLER [github]

Certified Roundoff Error Bounds Using Semidefinite Programming Victor Magron George Constantinides Alastair Donaldson [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]