• German word Zentrum, meaning "center". If R is a ring, then R is an associative algebra over its center. Conversely, if R is an associative algebra over a...
    2 KB (282 words) - 05:33, 26 June 2024
  • Bunse-Gerstner", Zentrum für Technomathematik, University of Bremen, retrieved 2018-10-31 Hegedűs, Cs. J. (1986), "Review of Numerische lineare Algebra", Mathematical...
    2 KB (185 words) - 05:21, 9 August 2024
  • Majority function (category Boolean algebra)
    Foundations of Computer Science (MFCS 2018). 117 (81). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik: 1–13. doi:10.4230/LIPIcs.MFCS.2018.81. Hoory, Shlomo;...
    6 KB (680 words) - 11:42, 31 March 2025
  • mathematics, such as theoretical physics, computer science, algebra, analysis, combinatorics, algebraic, differential, discrete and Euclidean geometries, graph...
    194 KB (19,910 words) - 02:53, 27 March 2025
  • abstract algebra, the center of a group G is the set of elements that commute with every element of G. It is denoted Z(G), from German Zentrum, meaning...
    12 KB (1,184 words) - 20:06, 14 May 2024
  • Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB) ORCCA's Tribute to Karin Gatermann 1961 – 2005, Ontario Research Centre for Computer Algebra...
    7 KB (579 words) - 01:25, 28 February 2025
  • Leibniz International Proceedings in Informatics. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 47:1–47:12. doi:10.4230/LIPIcs.STACS.2017.47. Bodirsky...
    29 KB (3,355 words) - 13:57, 29 March 2025
  • Thumbnail for Blake canonical form
    International Proceedings in Informatics (LIPIcs). 236. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 9:1–9:18. doi:10.4230/LIPIcs.SAT.2022.9. ISBN 978-3-95977-242-6...
    11 KB (947 words) - 11:06, 23 March 2025
  • Thumbnail for Quine–McCluskey algorithm
    Quine–McCluskey algorithm (category Boolean algebra)
    International Proceedings in Informatics (LIPIcs). 236. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 9:1–9:18. doi:10.4230/LIPIcs.SAT.2022.9. ISBN 978-3-95977-242-6...
    42 KB (4,029 words) - 11:32, 23 March 2025
  • the Masaryk University. In 1969, he started to work in the department of algebra and geometry at the Faculty of Science. In 1979, he became head of the...
    4 KB (398 words) - 19:59, 27 March 2025
  • Existential theory of the reals (category Real algebraic geometry)
    Aspects of Computer Science, LIPIcs, vol. 47, Schloss Dagstuhl--Leibnitz Zentrum fuer Informatik, pp. 17:1–17:13, doi:10.4230/LIPIcs.STACS.2016.17, ISBN 978-3-95977-001-9...
    32 KB (3,817 words) - 12:45, 26 February 2025
  • or the interpretation of classical logic by replacing Boolean algebras by C*-algebras.[citation needed] The language of classical linear logic (CLL)...
    34 KB (2,947 words) - 17:21, 2 April 2025
  • Thumbnail for Z3 (computer)
    "Inventor of the computer". "Konrad Zuse". The German Way. The Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB), founded in 1986, is a working memorial...
    38 KB (3,402 words) - 02:15, 9 March 2025
  • Thumbnail for Knot theory
    (SoCG 2020). Leibniz Int. Proc. Inform. Vol. 164. Schloss Dagstuhl–Leibniz-Zentrum für Informatik. pp. 25:1–25:17. doi:10.4230/LIPIcs.SoCG.2020.25. Collins...
    49 KB (6,292 words) - 14:21, 14 March 2025
  • 2016, Marseille, France, LIPIcs, vol. 62, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 39:1–39:21, doi:10.4230/LIPIcs.CSL.2016.39 Statman...
    5 KB (458 words) - 05:05, 28 January 2024
  • Thumbnail for Rudolf Wille
    January 2017) was a German mathematician and was professor of General Algebra from 1970 to 2003 at Technische Universität Darmstadt (TU Darmstadt). His...
    3 KB (353 words) - 10:12, 12 July 2023
  • Thumbnail for Gerolamo Cardano
    printing presses. Today, Cardano is well known for his achievements in algebra. In his 1545 book Ars Magna he made the first systematic use of negative...
    40 KB (4,463 words) - 19:44, 20 March 2025
  • Thumbnail for Kassel
    Development and Decent Work (ICDD) Internationales Zentrum für Hochschulforschung Kassel (INCHER) Zentrum für Umweltbewusstes Bauen (ZUB) Center for Interdisciplinary...
    44 KB (4,112 words) - 12:46, 1 April 2025
  • Thumbnail for Graham–Pollak theorem
    Graham–Pollak theorem (category Algebraic graph theory)
    techniques from algebraic graph theory. More strongly, Aigner & Ziegler (2018) write that all proofs are somehow based on linear algebra: "no combinatorial...
    11 KB (1,447 words) - 02:49, 5 August 2024
  • Thumbnail for Bipartite half
    26-30, 2019, Aachen, Germany, LIPIcs, vol. 138, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 13:1–13:15, doi:10.4230/LIPIcs.MFCS.2019.13, ISBN 9783959771177...
    4 KB (493 words) - 20:25, 28 July 2024
  • Thumbnail for Switzerland
    7892/boris.41280. S2CID 178237847. Als 1848 ein politisch-administratives Zentrum für den neuen Bundesstaat zu bestimmen war, verzichteten die Verfassungsväter...
    241 KB (21,079 words) - 07:55, 3 April 2025
  • Thumbnail for Bitonic tour
    Informatics (LIPIcs), vol. 55, Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp. 5:1–5:14, doi:10.4230/LIPIcs.ICALP.2016.5, ISBN 978-3-95977-013-2...
    6 KB (682 words) - 20:25, 28 July 2024
  • Thumbnail for Aviv Regev
    Aviv Regev". www.iscb.org. Retrieved 14 March 2022. "Event – Helmholtz Zentrum München". www.helmholtz-munich.de. Retrieved 14 March 2022. "Aviv Regev...
    21 KB (1,647 words) - 09:46, 1 April 2025
  • Informatics (LIPIcs). Vol. 32. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 63–78. doi:10.4230/LIPIcs.SNAPL.2015.63. ISBN 978-3-939897-80-4...
    59 KB (4,901 words) - 10:26, 17 March 2025
  • Interactive Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022.7. Retrieved 22 August...
    87 KB (11,765 words) - 11:07, 1 April 2025
  • Thumbnail for Leibniz Prize
    University of Münster Maria-Elena Torres-Padilla, Epigenetics, Helmholtz Zentrum München Robert Zeiser [de], Hemato-Oncology, University Hospital Freiburg...
    50 KB (4,519 words) - 19:09, 11 December 2024
  • International Proceedings in Informatics. Vol. 152. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 16:1–16:16. doi:10.4230/LIPIcs.CSL.2020.16. ISBN 978-3-95977-132-0...
    11 KB (1,447 words) - 03:29, 24 March 2025
  • Thumbnail for Icosian game
    Favignana, Sicily, Italy, LIPIcs, vol. 226, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 14:1–14:17, doi:10.4230/LIPICS.FUN.2022.14 Chvátal...
    18 KB (1,862 words) - 13:23, 16 February 2025
  • Local-Effect Games (PDF). Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. Retrieved 3 February 2023. Genesereth, Michael; Love, Nathaniel;...
    139 KB (15,394 words) - 03:42, 19 March 2025
  • 26-30, 2019, Aachen, Germany. LIPIcs. Vol. 138. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 1:1–1:22. arXiv:1907.04065. doi:10.4230/LIPIcs.MFCS...
    6 KB (675 words) - 15:36, 13 January 2025