|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Can one design a geometry engine? |
Makowsky, Johann A. |
2018 |
85 | 2-4 |
p. 259-291 |
article |
|
| 2 | Foreword |
Schreck, Pascal |
2019 |
85 | 2-4 |
p. 71-72 |
article |
|
| 3 | From informal to formal proofs in Euclidean geometry |
Stojanović-Ðurđević, Sana |
2018 |
85 | 2-4 |
p. 89-117 |
article |
|
| 4 | Implementing Euclid’s straightedge and compass constructions in type theory |
Kellison, Ariel |
2018 |
85 | 2-4 |
p. 175-192 |
article |
|
| 5 | Portfolio theorem proving and prover runtime prediction for geometry |
Nikolić, Mladen |
2018 |
85 | 2-4 |
p. 119-146 |
article |
|
| 6 | Proof-checking Euclid |
Beeson, Michael |
2019 |
85 | 2-4 |
p. 213-257 |
article |
|
| 7 | Rewriting input expressions in complex algebraic geometry provers |
Kovács, Z. |
2018 |
85 | 2-4 |
p. 73-87 |
article |
|
| 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 |
article |
|
| 9 | Two cryptomorphic formalizations of projective incidence geometry |
Braun, David |
2018 |
85 | 2-4 |
p. 193-212 |
article |
9 results found