Scheme-based Theorem Discovery and Concept Invention

Name: Scheme-based Theorem Discovery and Concept Invention
Brand: LAP Lambert Academic Publishing
SKU: 9783659886201
Price: 296.13 RON
Availability: InStock

Rewriting theory-exploration

Autor: Omar Montaño Rivas

Limbă:

Legare: Carte broșată

Editura: LAP Lambert Academic Publishing

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

296.13 lei

This book describes an approach to automatically invent/explore new mathematical theories, with the...

Informații despre carte

Autor

Omar Montaño Rivas

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2016

Pagini

152

EAN

9783659886201

Enbook ID

12628658

Editura

LAP Lambert Academic Publishing

Greutate

243

Dimensiuni

150 x 220 x 9

Descriere completă

This book describes an approach to automatically invent/explore new mathematical theories, with the goal of producing results comparable to those produced by humans, as represented, for example, in the libraries of proof assistants. The approach described is based on schemes, which are formulae in higher-order logic. It shows that it is possible to automate the instantiation process of schemes to generate conjectures and definitions. It also shows how the new definitions and the lemmata discovered during the exploration of a theory can be used, not only to help with the proof obligations during the exploration, but also to reduce redundancies inherent in most theory-formation systems. It describes how to exploit associative-commutative (AC) operators using ordered rewriting to avoid AC variations of the same instantiation. All ideas contained in this book are implemented in an automated tool, called IsaScheme, which employs Knuth-Bendix completion and recent automatic inductive proof methods. This systematic and comprehensive introduction to the scheme-based theory exploration will be welcome by researchers and graduate students alike.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Scheme-based Theorem Discovery and Concept Invention

Rewriting theory-exploration

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și