Independent ResearchMathematical research is more than a final formula. Explore a finite Gaussian example, discover the published research context, and see how exact certification is being developed — without revealing protected research or software.
Three separate interfaces, three different access boundaries. A browser experiment is not a theorem; a published record is not an engine release.
Shift two finite integer grids independently, compare the resulting Gaussian collocation matrix, and see how finite-dimensional sensitivity changes. Ordinary numerical linear algebra, used for illustration only.
An internally developed exact-certification infrastructure for supported finite mathematical and technical obligations. Three selected public-safe screenshots are shown here; the engine itself is not distributed.
Public papers and citation metadata for restricted records connect the demonstration to research on Gaussian double grids, total positivity and related mathematical questions.
A public introduction to an internal research engine. Its development, validation and release decisions remain separate from this website.
TP-CERT is designed to examine supported, explicitly specified proof obligations and to produce traceable evidence or counterexamples. Every result is limited by its stated assumptions and verification status.
It is not a universal theorem prover, not a public API, and not a downloadable product.
These are publication records, not claims that the demonstrator reproduces their proofs. “Restricted” refers to the files; publicly visible citation metadata can still identify the record.
