Corpus ID: 202541611

Proofs by example

@inproceedings{Matschke2019ProofsBE,
  title={Proofs by example},
  author={Benjamin Matschke},
  year={2019}
}
  • Benjamin Matschke
  • Published 2019
  • Mathematics
  • 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

    Figures from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 52 REFERENCES

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

    VIEW 7 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

    and M

    • M. Hohenwarter, M. Borcherds, +14 authors C. Stadlbauer
    • Tomaschko. GeoGebra 5.0
    • 2018
    VIEW 1 EXCERPT

    Dimension-dependent bounds for Gröbner bases of polynomial ideals

    VIEW 2 EXCERPTS