|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Can one design a geometry engine? |
Makowsky, Johann A. |
2018 |
85 | 2-4 |
p. 259-291 |
artikel |
|
| 2 | Foreword |
Schreck, Pascal |
2019 |
85 | 2-4 |
p. 71-72 |
artikel |
|
| 3 | From informal to formal proofs in Euclidean geometry |
Stojanović-Ðurđević, Sana |
2018 |
85 | 2-4 |
p. 89-117 |
artikel |
|
| 4 | Implementing Euclid’s straightedge and compass constructions in type theory |
Kellison, Ariel |
2018 |
85 | 2-4 |
p. 175-192 |
artikel |
|
| 5 | Portfolio theorem proving and prover runtime prediction for geometry |
Nikolić, Mladen |
2018 |
85 | 2-4 |
p. 119-146 |
artikel |
|
| 6 | Proof-checking Euclid |
Beeson, Michael |
2019 |
85 | 2-4 |
p. 213-257 |
artikel |
|
| 7 | Rewriting input expressions in complex algebraic geometry provers |
Kovács, Z. |
2018 |
85 | 2-4 |
p. 73-87 |
artikel |
|
| 8 | Towards a better integration of modelers and black box constraint solvers within the product design process |
Pernot, Jean-Philippe |
2018 |
85 | 2-4 |
p. 147-173 |
artikel |
|
| 9 | Two cryptomorphic formalizations of projective incidence geometry |
Braun, David |
2018 |
85 | 2-4 |
p. 193-212 |
artikel |
9 gevonden resultaten