The phrase "a paper proving that" is correct and usable in written English.
It can be used when referring to a scholarly article or research document that demonstrates or establishes a particular claim or theory.
Example: "The researcher submitted a paper proving that climate change is significantly influenced by human activities."
Alternatives: "a study demonstrating that" or "a report establishing that".
You need to bring a paper proving that.
In 1996, Dr. Coxeter published a paper proving that Escher's "Circle Limit III" was mathematically perfect.
She responds that he would not dare, for she would refuse; she produces a paper proving that she has been selling her own possessions to pay their expenses.
Even IBM thought so: In 1970, an IBM research scientist published a paper "proving" that the technology would never go beyond 200 megabits per square inch.
However, Forest Ray Moulton published a paper proving that a three-body system with those orbital parameters would be highly unstable.
Peggy Carr, who oversees NAEP administration, said in an interview that the Education Department will soon release a paper proving that the patterns of persistence and engagement are not all that different between fourth graders and 12 graders.
Between seventh grade, when I discovered the Warren Commission report, and my junior year in high school, when I wrote a term paper "proving" that there had been three gunmen in Dealey Plaza, I was a kid obsessed.
About a year ago, Demaine and several colleagues — including his dad, who's a visiting scientist at CSAIL, master's student Aviv Ovadya, and Nadia Benbernou, a PhD student in applied mathematics who's a co-author on the new paper — proved that a large enough sheet creased in what's called the "box pleat pattern" could be folded into a close approximation of any possible three-dimensional shape.
This paper proves that a certain class of nonconvex matrix inequalities is equivalent to linear matrix inequalities (LMIs) plus a nonconvex rank constraint.
This paper proves that a fuzzy inference mechanism can be trained such that the adjustable parameter values are forced to settle down (parameter stabilization) while minimizing an appropriate cost function (cost optimization).
This paper proves that for a typical class of linear systems disturbed by white noises, the multiple model based least-squares (LS) adaptive switching control is stable and convergent, and has the same convergence rate as that established for the standard least-squares-based self-tuning regulators.
