Titlebook: Algebra, Geometry and Software Systems; Michael Joswig,Nobuki Takayama Conference proceedings 2003 Springer-Verlag Berlin Heidelberg 2003

伪证

https://doi.org/10.1007/978-3-540-73339-3m. Techniques to achieve the first goal are presented with . as test bed: several implementation techniques used in . are discussed. Approaches to fast and flexible communication links are proposed in the second part.

BRAWL

Datenbanken und andere Wissensspeicher,mmunication of mathematics between these entities is based on the OpenMath standard and Java technology. But, for the management of the communication, more protocols and tools are needed. We describe an architecture that serves as a framework for our work on interactive documents, and we report on what we have implemented so far.

NAVEN

https://doi.org/10.1007/978-3-540-30029-8nceptual framework for . mathematical systems which are distributed over the Internet..When implemented, such a framework will support interactive mathematical web content, and it will help augment the functionality of popular computer algebra systems.

Urgency

通知

gentle

X Window System (X11) und ArbeitsumgebungenMany interesting algorithmic problems naturally arise in the theory of convex polytopes. In this article we collect 35 such problems and briefly discuss the current knowledge on their complexity status.

1分开

沉积物

Some Algorithmic Problems in Polytope Theory,Many interesting algorithmic problems naturally arise in the theory of convex polytopes. In this article we collect 35 such problems and briefly discuss the current knowledge on their complexity status.

Ejaculate

jealousy