Geometry Theorem Prover

journal contribution

posted on 2023-05-21, 17:30 authored by Bulmer, M, Timothy Stokes

No description available

History

Publication title

Mathematica World

Issue

10

Pagination

1-16

Department/School

School of Natural Sciences

Socio-economic Objectives

Expanding knowledge in the mathematical sciences

Repository Status

Restricted

Usage metrics

University Of Tasmania

Categories

Combinatorics and discrete mathematics (excl. physical combinatorics)

Keywords

No keyword provided

Licence

Exports