4 papers
AG-groups as parallelogram spaces
M. Shah, V. Sorge
It is known that an AG-group is paramedial and a paramedial is a parallelogram space. From which it follows that an AG-group is a parallelogram space. In this paper we give a direc…
The Multiplication Group of an AG-group
Muhammad Shah, Asif Ali, Imtiaz Ahmad +1
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 orde…
Symbolic Domain Decomposition
Jacques Carette, Alan P. Sexton, Volker Sorge +1
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…
Resource Adaptive Agents in Interactive Theorem Proving
Christoph Benzmueller, Volker Sorge
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…