INNOVAWIN 2006 SL

Projekt → Formalisation of Constructive Univalent Type Theory There has been in the past 15 years remarkable achievements in the field of interactive theorem proving, both for checking comple… Beitrag ansehen → Projekt → Researchers in the Knowledge triangle "In 2006, Sofia University (K-TRIO coordinator) as EURAXESS bridgehead organisation involved the newly established Bulgarian netw… Beitrag ansehen → Projekt → Deformation Theory of infinite-type hyperbolic manifolds Hyperbolic geometry, and its connection to 3-dimensional geometry, have been a key topic in contemporary mathematics, leading for… Beitrag ansehen → Projekt → Design and Catalytic Applications of Photoactivated Frustrated Lewis Pairs In 2006 Douglas Stephan described the first reversible metal-free hydrogen activation via frustrated Lewis pairs (FLPs). In these… Beitrag ansehen → Projekt → Fourier Interpolation and Extremal Problems In 2006 Cohn and Kumar have conjectured that the A2 lattice is universally optimal, meaning that it has the lowest potential ener… Beitrag ansehen → Projekt → Personalisierung von Prüfungen durch ChatGPT-4o? Generative Künstliche Intelligenz (genKI) kann Lern- und Prüfungsprozesse individualisieren – je nach Einsatz kann sie dabei erwe… Beitrag ansehen →