Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
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
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: