Zobrazeno 1 - 10
of 92
pro vyhledávání: '"Sorge, Volker"'
We investigate the multiplication group of a special class of quasigroup called AG-group. We prove some interesting results such as: the multiplication group of an AG-group of order n is non-abelian group of order 2n and its left section is an abelia
Externí odkaz:
http://arxiv.org/abs/1403.0507
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different boundary conditions may hold on different regions. For any particular problem
Externí odkaz:
http://arxiv.org/abs/1004.5549
Autor:
Benzmueller, Christoph, Sorge, Volker
Publikováno v:
SEKI Report (ISSN 1437-4447), Saarland University, 1999
We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving. The mechanism uses a two layered architecture of agent societies to suggest appropriate commands together with possible command argument instanti
Externí odkaz:
http://arxiv.org/abs/0901.3585
Publikováno v:
Studies in Health Technology & Informatics; 2023, Vol. 306, p129-136, 8p, 1 Diagram, 5 Charts
Autor:
Sorge, Volker
Although for many years there has been a steady push to move teaching content online, the COVID-19 pandemic has accelerated this trend, suddenly forcing all faculty to focus on delivering teaching and learning online. However, rushing material online
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2485::bb4f9493eaeee584efb9738255e26597
https://hdl.handle.net/10919/102607
https://hdl.handle.net/10919/102607
Autor:
Pollet, Martin, Sorge, Volker
Publikováno v:
In Electronic Notes in Theoretical Computer Science 21 March 2006 151(1):127-142
Publikováno v:
In Journal of Symbolic Computation 2002 34(4):287-306
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1999 23(3):340-351