On Building a Knowledge Base for Stability Theory.
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
VenueAustralasianAISC
Year2010
ProceedingsAISC/MKM/Calculemus
DBLP recordconf/aisc/Rowinska-SchwarzwellerS10 ↗
Browse the full AISC paper archive.