https://arxiv.org/abs/2101.03591
[2101.03591] Tietze Equivalences as Weak Equivalences
Abstract page for arXiv paper 2101.03591: Tietze Equivalences as Weak Equivalences
tietzeequivalencesweak
https://unimath.github.io/agda-unimath/foundation.infinitely-coherent-equivalences.html
Infinitely coherent equivalences - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
coherentequivalencesagda
https://www.coursera.org/learn/equivalences-abstraction-and-partial-order-reduction
Equivalences, Abstraction, and Partial Order Reduction | Coursera
Offered by University of Colorado Boulder. This course introduces methods to utilize abstraction and partial order methods to reduce the ... Enroll for free.
partial order reductionequivalencesabstractioncoursera
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.equivalences-span-diagrams-families-of-types.html
Equivalences of span diagrams on families of types - agda-unimath
equivalencesspandiagramsfamiliestypes
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.equivalences-of-large-precategories.html
Equivalences between large precategories - agda-unimath
equivalenceslargeagda
https://arxiv.org/abs/2006.12923
[2006.12923] Socle equivalences of weighted surface algebras
Abstract page for arXiv paper 2006.12923: Socle equivalences of weighted surface algebras
socleequivalencesweightedsurfacealgebras
https://www.chezvanda.com/2015/08/equivalences.html
Equivalences ou par quoi remplacer certains ingrédients en cuisine ? - Chez Vanda
Nous sommes nombreuses à chercher les équivalences de certains produits . Dans cet article, je posterais certaines astuces afin de vous aider au mieux . Si...
en cuisineequivalencesouparquoi
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.binary-equivalences.html
Binary equivalences - agda-unimath
binaryequivalencesagda
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.equivalences-concrete-group-actions.html
Equivalences of concrete group actions - agda-unimath
group actionsequivalencesconcreteagda
https://infoscience.epfl.ch/entities/publication/0ccb0641-25dc-431a-8d3e-74e7e10a795e
Classifying tame blocks and related algebras up to stable equivalences of Morita type
We contribute to the classification of finite dimensional algebras under stable equivalence of Morita type. More precisely we give a classification of...
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.descent-equivalences.html
Descent for equivalences - agda-unimath
descentequivalencesagda
https://arxiv.org/abs/1601.02030
[1601.02030] Combinatorial constructions of derived equivalences
Abstract page for arXiv paper 1601.02030: Combinatorial constructions of derived equivalences
combinatorialconstructionsderivedequivalences
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/graph-theory.mere-equivalences-undirected-graphs.html
Mere equivalences of undirected graphs - agda-unimath
mereequivalencesgraphsagda
https://simple.wiktionary.org/wiki/equivalences
equivalences - Simple English Wiktionary
simple englishequivalenceswiktionary
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1041427
On the Decidability of Process Equivalences for the pi-calculus
on thedecidabilityprocessequivalencespi
https://lists.w3.org/Archives/Public/www-rdf-interest/2000May/0151.html
Re: XML/RDF syntax equivalences from Perry A. Caro on 2000-05-26 (www-rdf-interest@w3.org from May...
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.transport-along-equivalences.html
Transport along equivalences - agda-unimath
transportalongequivalencesagda
https://research.ibm.com/publications/subcubic-equivalences-between-path-matrix-and-triangle-problems
Subcubic equivalences between path, matrix, and triangle problems for FOCS 2010 - IBM Research
Subcubic equivalences between path, matrix, and triangle problems for FOCS 2010 by Virginia Vassilevska Williams et al.
https://arxiv.org/abs/1205.3024
[1205.3024] Homeomorphisms, homotopy equivalences and chain complexes
Abstract page for arXiv paper 1205.3024: Homeomorphisms, homotopy equivalences and chain complexes
homotopyequivalenceschaincomplexes
https://obsoletetellyemuseum.blogspot.com/2010/09/technical-information-tables-for-crt-tv.html
Obsolete Technology Tellye !: TECHNICAL INFORMATION TABLES FOR CRT TV TUNER EQUIVALENCES
Old CRT Vintage Obsolete Technology Television Web Museum, A place which shows Antique Television technology from 1950 to 2005.
obsolete technologytechnical informationcrt tv
https://eprints.illc.uva.nl/id/eprint/1336/
ML-1993-12: Remarks on Uniformly Finitely Precomplete Positive Equivalences - ILLC Preprints and...
https://www.coursera.org/learn/automata-system-validation
System Validation: Automata and behavioural equivalences | Coursera
Offered by 28DIGITAL. Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power ... Enroll for free.
system validationautomatabehaviouralequivalencescoursera
https://unimath.github.io/agda-unimath/univalent-combinatorics.equivalences-cubes.html
Equivalences of cubes - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencescubesagda
https://dspace.mit.edu/handle/1721.1/134750?show=full
Subcubic equivalences between path, matrix, and triangle problems
equivalencespathmatrixtriangleproblems
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.equivalences-span-diagrams.html
Equivalences of span diagrams - agda-unimath
equivalencesspandiagramsagda
https://unimath.github.io/agda-unimath/foundation.equivalences-propositions.html
Equivalences between propositions - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencespropositionsagda
https://iris.cnr.it/handle/20.500.14243/375833
Testing equivalences for processes
testingequivalencesprocesses
https://www.math.kyoto-u.ac.jp/en/event/seminar/2364
On a property of homology equivalences and its application to the decomposition of special...
https://unimath.github.io/agda-unimath/foundation-core.equivalences.html
Equivalences - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencesagda
https://www.kth.se/math/kalender/robin-stoll-relative-self-equivalences-and-graph-complexes-1.1329485?date=2024-06-13&orgdate=2024-02-13&length=1&orglength=0
Robin Stoll: Relative self-equivalences and graph complexes | KTH
robinstollrelativeselfequivalences
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.equivalences-inverse-sequential-diagrams.html
Equivalences of inverse sequential diagrams of types - agda-unimath
equivalencesinversesequentialdiagramstypes
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.equivalences-spans-families-of-types.html
Equivalences of spans of families of types - agda-unimath
equivalencesspansfamiliestypesagda
https://unimath.github.io/agda-unimath/graph-theory.equivalences-dependent-directed-graphs.html
Equivalences of dependent directed graphs - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencesdependentdirectedgraphsagda
https://unimath.github.io/agda-unimath/foundation-core.families-of-equivalences.html
Families of equivalences - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
familiesequivalencesagda
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/graph-theory.equivalences-undirected-graphs.html
Equivalences of undirected graphs - agda-unimath
equivalencesgraphsagda
https://www.umass.edu/mathematics-statistics/events/lifting-derived-equivalences-abelian-surfaces-generalized-kummer-varieties
Lifting derived equivalences of abelian surfaces to generalized Kummer varieties : Department of...
In this talk, we study the G-autoequivalences of the derived category DGb(A) of G-equivariant coherent sheaves for an abelian variety A with G being a finite...
liftingderivedequivalences
https://arxiv.org/abs/0810.4757
[0810.4757] Almost $\cal D$-split sequences and derived equivalences
Abstract page for arXiv paper 0810.4757: Almost $\cal D$-split sequences and derived equivalences
almostcalsplitsequencesderived
https://unimath.github.io/agda-unimath/foundation.equivalences-spans.html
Equivalences of spans - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencesspansagda
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.action-on-equivalences-functions-out-of-subuniverses.html
The action on equivalences of functions out of subuniverses - agda-unimath
the actionequivalencesfunctionsagda
https://developer.atlassian.com/platform/adopting-forge-from-connect/connect-forge-equivalences/connect-forge-capabilities-available/
Connect and Forge capabilities equivalences
The current equivalences of Connect and Forge capabilities
connectforgecapabilitiesequivalences
https://amne.ubc.ca/undergraduate/archived-programs/cners-to-amne-course-equivalencies/
Course equivalences | UBC Ancient Mediterranean & Near Eastern Studies
May 13, 2025 - All courses previously coded CLST, CNRS, NEST or RELG have switched to a unified AMNE code. Learn more.
ancient mediterraneannear easterncourseequivalencesubc