Downloads & Free Reading Options - Results

Exploring Steinitz Rademacher Polyhedra%3a A Challenge For Automated Reasoning Tools by Jesse Alama

Read "Exploring Steinitz Rademacher Polyhedra%3a A Challenge For Automated Reasoning Tools" by Jesse Alama through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Exploring Steinitz-Rademacher Polyhedra: A Challenge For Automated Reasoning Tools

By

This note reports on some experiments, using a handful of standard automated reasoning tools, for exploring Steinitz-Rademacher polyhedra, which are models of a certain first-order theory of incidence structures. This theory and its models, even simple ones, presents significant, geometrically fascinating challenges for automated reasoning tools.

“Exploring Steinitz-Rademacher Polyhedra: A Challenge For Automated Reasoning Tools” Metadata:

  • Title: ➤  Exploring Steinitz-Rademacher Polyhedra: A Challenge For Automated Reasoning Tools
  • Author:

“Exploring Steinitz-Rademacher Polyhedra: A Challenge For Automated Reasoning Tools” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 0.07 Mbs, the file-s for this book were downloaded 22 times, the file-s went public at Sat Jun 30 2018.

Available formats:
Archive BitTorrent - Metadata - Text PDF -

Related Links:

Online Marketplaces

Find Exploring Steinitz-Rademacher Polyhedra: A Challenge For Automated Reasoning Tools at online marketplaces:


Top of Page

Buy “Exploring Steinitz Rademacher Polyhedra%3a A Challenge For Automated Reasoning Tools” online:

Shop for “Exploring Steinitz Rademacher Polyhedra%3a A Challenge For Automated Reasoning Tools” on popular online marketplaces.