Robuta

https://dspace.jaist.ac.jp/dspace/handle/10119/8299 JAIST Repository: Counterexample Discovery with a Combination of Induction and Bounded Model... with a jaist repository counterexample discovery https://projects.lsv.ens-paris-saclay.fr/topology/?tag=counterexample counterexample | Non-Hausdorff Topology and Domain Theory hausdorff topology domain theory counterexample non https://www.mathnet.ru/php/archive.phtml?wshow=paper_refs&WHATTOSHOW=FORWARDLINKS&jrnid=isu&paperid=497&option_lang=eng&wshow=paper M. G. Pleshakov, S. V. Tyshkevich, “One counterexample of shape-preserving approximation”, Izv.... m g s v pleshakov tyshkevich counterexample https://experts.nau.edu/en/publications/dycks-map-3-7sub8sub-is-a-counterexample-to-a-clique-covering-con/ Dyck's map (3, 7)8 is a counterexample to a clique covering conjecture - Northern Arizona... is a northern arizona dyck map counterexample https://devel.isa-afp.org/entries/Dinitz_Garg_Goemans_Counterexample.html A Formal Counterexample to the Cost-Preserving Single-Source Unsplittable Flow Conjecture - Archive... A Formal Counterexample to the Cost-Preserving Single-Source Unsplittable Flow Conjecture in the Archive of Formal Proofs to the single source formal counterexample cost https://eudml.org/doc/122142 EuDML | A counterexample to an assertion due to Blumenthal. counterexample assertion due blumenthal