|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Singular web service for geometric computations |
Botana, Francisco |
2014 |
74 | 3-4 |
p. 359-370 |
artikel |
|
| 2 | Automated generation of geometric theorems from images of diagrams |
Chen, Xiaoyu |
2014 |
74 | 3-4 |
p. 333-358 |
artikel |
|
| 3 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry |
Ðurđević, Sana Stojanović |
2015 |
74 | 3-4 |
p. 249-269 |
artikel |
|
| 4 | Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective |
Magaud, Nicolas |
2014 |
74 | 3-4 |
p. 309-332 |
artikel |
|
| 5 | Formalizing complex plane geometry |
Marić, Filip |
2014 |
74 | 3-4 |
p. 271-308 |
artikel |
|
| 6 | Lang’s Universal molecule algorithm |
Bowers, John C. |
2014 |
74 | 3-4 |
p. 371-400 |
artikel |
6 gevonden resultaten