
Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types
We report on a formalization of schemes in the proof assistant Isabelle/...
read it

Unsupervised Doppler RadarBased Activity Recognition for ehealthcare
Passive radio frequency (RF) sensing and monitoring of human daily activ...
read it

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
While designing inductive bias in neural architectures has been widely s...
read it

Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
We give an overview of our formalizations in the proof assistant Isabell...
read it

Modelling HighLevel Mathematical Reasoning in Mechanised Declarative Proofs
Mathematical proofs can be mechanised using proof assistants to eliminat...
read it

Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the BudanFourier Theorem
Many problems in computer algebra and numerical analysis can be reduced ...
read it

Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL
In complex analysis, the winding number measures the number of times a p...
read it

Evaluating Winding Numbers through Cauchy Indices in Isabelle/HOL
In complex analysis, the winding number measures the number of times a p...
read it
Wenda Li
is this you? claim profile