Submissions from risc.jku.at

		Theorema: A System for Computer Supported Mathematical Theorem Proving (risc.jku.at)
		2 points by leonry 80 days ago \| past
		The Most Important Algorithms (risc.jku.at)
		1 point by Jimmc414 on Feb 10, 2023 \| past \| 1 comment
		Bruno Buchberger’s algorithm: Gröbner bases and applications (1998) [pdf] (risc.jku.at)
		55 points by boshomi on Jan 26, 2019 \| past \| 4 comments
		The RISC Algorithm Language (RISCAL) (risc.jku.at)
		2 points by octosphere on Sept 29, 2018 \| past
		A Calculus of Communicating Systems (1980) [pdf] (risc.jku.at)
		2 points by brudgers on Nov 24, 2016 \| past
		The Most Important Algorithms (risc.jku.at)
		187 points by iamanet on July 5, 2010 \| past \| 48 comments