# Proofs by example

@inproceedings{Matschke2019ProofsBE, title={Proofs by example}, author={Benjamin Matschke}, year={2019} }

We study the proof scheme "proof by example" in which a general statement can be proved by verifying it for a single example. This strategy can indeed work if the statement in question is an algebraic identity and the example is "generic". This article addresses the problem of constructing a practical example, which is sufficiently generic, for which the statement can be verified efficiently, and which even allows for a numerical margin of error. Our method is based on diophantine geometry, in… CONTINUE READING

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 52 REFERENCES

## Sharp estimates for the arithmetic Nullstellensatz

VIEW 9 EXCERPTS

HIGHLY INFLUENTIAL

## A GLOBAL LOJASIEWICZ INEQUALITY FOR ALGEBRAIC VARIETIES

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## Critères Pour L’indépendance Algébrique

VIEW 7 EXCERPTS

HIGHLY INFLUENTIAL

## Fast Probabilistic Algorithms for Verification of Polynomial Identities

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## Probabilistic algorithms for sparse polynomials

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## On Some Inequalities for Polynomials in Several Variables

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## Heights of projective varieties and positive Green forms

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## and M

VIEW 1 EXCERPT