 | 2008 |
|---|
| 8 |       | Cezary Kaliszyk:
Automating Side Conditions in Formalized Partial Functions.
AISC/MKM/Calculemus 2008: 300-314 |
| 7 | | Cezary Kaliszyk,
Pierre Corbineau,
Freek Wiedijk,
James McKinna,
Herman Geuvers:
A Real Semantic Web for Mathematics Deserves a Real Semantics.
SemWiki 2008 |
| 6 | | Cezary Kaliszyk,
Freek Wiedijk:
Merging Procedural and Declarative Proof.
TYPES 2008: 203-219 |
| 5 | | Cezary Kaliszyk,
Russell O'Connor:
Computing with Classical Real Numbers
CoRR abs/0809.1644: (2008) |
| 2007 |
|---|
| 4 | | Pierre Corbineau,
Cezary Kaliszyk:
Cooperative Repositories for Formal Proofs.
Calculemus/MKM 2007: 221-234 |
| 3 | | Cezary Kaliszyk,
Freek Wiedijk:
Certified Computer Algebra on Top of an Interactive Theorem Prover.
Calculemus/MKM 2007: 94-105 |
| 2 | | Cezary Kaliszyk:
Web Interfaces for Proof Assistants.
Electr. Notes Theor. Comput. Sci. 174(2): 49-61 (2007) |
| 2004 |
|---|
| 1 | | Grzegorz Andruszkiewicz,
Krzysztof Ciebiera,
Marcin Gozdalik,
Cezary Kaliszyk,
Mateusz Srebrny:
SIE - Intelligent Web Proxy Framework.
ICWE 2004: 373-385 |
