Factor_Algebraic_Polynomial Dependents

2024

Undecidability Results on Orienting Single Rewrite Rules

by René Thiemann, Fabian Mitterwallner and Aart Middeldorp

Apr 25

2023

The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan

Apr 27

2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Dec 15

2021

Solving Cubic and Quartic Equations

by René Thiemann

Sep 03

2017

Linear Recurrences

by Manuel Eberl

Oct 12