Deduction using the ProofWeb system (2009)
Cezary Kaliszyk, Femke Van Raamsdonk, Freek Wiedijk, Maxim Hendriks, Roel De Vrijer
This is the manual of the ProofWeb system that was implemented at the Radboud University Nijmegen and the Free University Amsterdam in the SURF education innovation project Web deduction for...
Teaching logic using a state-of-the-art (2008)
Cezary Kaliszyk, Freek Wiedijk, Maxim Hendriks, Femke Raamsdonk
proof assistant
Teaching logic using a state-of-the-art (2008)
Cezary Kaliszyk, Freek Wiedijk, Maxim Hendriks, Femke Raamsdonk
proof assistant
Cross-Curriculum Search for Intergeo (2008)
Libbrecht, Paul, Desmoulins, Cyrille, Mercat, Christian, Laborde, Colette, Dietrich, Michael, Hendriks, Maxim
Intergeo is a European pro ject dedicated to the sharing of interactive geometry constructions. This pro ject is setting up an anno- tation and search web platform which will offer and provide...
Cross-Curriculum Search for Intergeo (2008)
Libbrecht, Paul, Desmoulins, Cyrille, Mercat, Christian, Laborde, Colette, Dietrich, Michael, Hendriks, Maxim
Intergeo is a European pro ject dedicated to the sharing of interactive geometry constructions. This pro ject is setting up an anno- tation and search web platform which will offer and provide...