symbolic-computation Archives - LT Tech Blog

DevTools Explainers

Slaughtering Competition Problems Using Quantifier Elimination in SageMath

TL;DR A blog post demonstrates using quantifier elimination — via the Tarski–Seidenberg theorem and QEPCAD through SageMath — to automate…

December 29, 2025

You missed

Consumer Tech & Gadgets Product launches

Volvo previews EX60 EV: 400-mile range, faster charging and megacasting

January 8, 2026

Google / Alphabet Mobile & Apps

Pixel Launcher adds quick-launch tweak to speed app opening from search

January 8, 2026

AI & Machine Learning Explainers

Study finds AI missed about 31% of breast cancers; DWI MRI may help

January 8, 2026

Cybersecurity Threats & Incidents

Examining a recurring BGP route leak from Venezuela’s CANTV (AS8048)

January 8, 2026