counterexamples - Robuta Search

https://leanprover-community.github.io/mathlib4_docs/Counterexamples/MapFloor.html Counterexamples.MapFloor counterexamples https://ir.cwi.nl/pub/5484 Centrum Wiskunde & Informatica: Counterexamples to completeness results for basic narrowing centrum wiskunde informatica counterexamples completeness https://leanprover-community.github.io/mathlib4_docs/Counterexamples/CliffordAlgebraNotInjective.html Counterexamples.CliffordAlgebraNotInjective counterexamples https://leanprover-community.github.io/mathlib4_docs/Counterexamples/SeminormLatticeNotDistrib.html Counterexamples.SeminormLatticeNotDistrib counterexamples https://godplaysdice.blogspot.com/2009/09/counterexamples-in-x.html?showComment=1277394233597 God Plays Dice: Counterexamples in X Counterexamples in Probability And Statistics (Joseph P. Romano and A. F. Siegel) and Counterexamples in Probability and Real Analysis (Ga... god plays dice counterexamples https://leanprover-community.github.io/mathlib4_docs/Counterexamples/SeparableNotSecondCountable.html Counterexamples.SeparableNotSecondCountable counterexamples https://ibm-data-and-ai.ideas.ibm.com/ideas/ASSISTANT-I-154 Adding Counterexamples | IBM Data Platform Ideas Portal for Customers data platform ideas portal adding counterexamples ibm https://leanprover-community.github.io/mathlib4_docs/Counterexamples/PolynomialIsDomain.html Counterexamples.PolynomialIsDomain counterexamples https://plato.stanford.edu/archives/spr2023/entries/brouwer/weakcounterex.html Luitzen Egbertus Jan Brouwer Weak Counterexamples (Stanford Encyclopedia of Philosophy/Spring... encyclopedia of philosophy jan brouwer weak https://leanprover-community.github.io/mathlib4_docs/Counterexamples/Motzkin.html Counterexamples.Motzkin counterexamples https://leanprover-community.github.io/mathlib4_docs/Counterexamples/Phillips.html Counterexamples.Phillips counterexamples phillips https://philsci-archive.pitt.edu/3284/ Absolute Objects, Counterexamples and General Covariance - PhilSci-Archive absolute objects counterexamples general covariance https://arxiv.org/abs/2603.24515 [2603.24515] Two counterexamples to a conjecture about even cycles Abstract page for arXiv paper 2603.24515: Two counterexamples to a conjecture about even cycles two counterexamples conjecture even cycles https://leanprover-community.github.io/mathlib4_docs/Counterexamples/PeanoCurve.html Counterexamples.PeanoCurve counterexamples https://pure.psu.edu/en/projects/national-science-foundation-award-187/ SaTC: CORE: Medium: Developing for Differential Privacy with Formal Methods and Counterexamples -... differential privacy https://repositorio.unam.mx/contenidos/ficha/justification-and-indefinite-propositions-disarming-gettiers-counterexamples-4115718?c=EY7jaV&d=false&q=*:*&i=1&v=1&t=search_0&as=0 Justification and Indefinite Propositions: Disarming Gettiers Counterexamples Repositorio Institucional de la UNAM justification indefinite propositions disarming counterexamples https://ifp.nyu.edu/2026/journal-article-abstracts/jme-2026-112073v1/ AI robots, deadly poisons and the relevance of counterexamples: reply to critics - information for... Apr 25, 2026 - I thank the commentators for their attention to my article and the Journal of Medical Ethics for the opportunity to respond. My goal is to make sound https://annals.math.princeton.edu/1974/101-2/p07 Counterexamples to the Seifert conjectures and opening closed leaves of foliations | Annals of... to the https://plato.stanford.edu/archives/win2018/entries/brouwer/weakcounterex.html Luitzen Egbertus Jan Brouwer Weak Counterexamples (Stanford Encyclopedia of Philosophy/Winter... encyclopedia of philosophy jan brouwer weak https://www.law.berkeley.edu/center-article/the-core-and-hedonic-core-reply-to-wooders-2001-with-counterexamples/ The Core and Hedonic Core: Reply to Wooders (2001), with Counterexamples - UC Berkeley Law Mar 24, 2022 - Author(s): Suzanne Scotchmer Year: 2003 Abstract: In response to Wooders (2001), I review the contributions of Engl and Scotchmer (1996) regarding monotonicity... https://leanprover-community.github.io/mathlib4_docs/Counterexamples/MonicNonRegular.html Counterexamples.MonicNonRegular counterexamples https://research.nvidia.com/publication/2016-11_counterexamples-and-proof-loophole-cc-power-and-armv7-trailing-sync-compiler Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings... The C and C++ high-level languages provide programmers with atomic operations for writing high-performance concurrent code. At the assembly language level, C... https://forge-fm.github.io/book/2025/chapters/inductive/bsearch.html Counterexamples to Induction - Logic for Systems Lightweight Formal Methods for Everybody counterexamples induction logic systems https://forge-fm.github.io/book/2026/chapters/inductive/bsearch.html Counterexamples to Induction - Logic for Systems Lightweight Formal Methods for Everybody counterexamples induction logic systems https://arxiv.org/abs/math/0702733v2 [math/0702733v2] Counterexamples regarding Symmetric Tensors and Divided Powers Abstract page for arXiv paper math/0702733v2: Counterexamples regarding Symmetric Tensors and Divided Powers math counterexamples regarding symmetric tensors https://leanprover-community.github.io/mathlib4_docs/Counterexamples/QuadraticForm.html Counterexamples.QuadraticForm counterexamples