Computing envelopes in dynamic geometry environments
نویسندگان
چکیده
منابع مشابه
Computing Locus Equations for Standard Dynamic Geometry Environments
GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer’s Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, following the Groebner basis method, compute the locus equation and its graph. Moreover, an...
متن کاملCooperative Computing in Dynamic Environments
The Theory of Distributed Systems research group at MIT, led by Prof. Nancy Lynch, is working with the Cooperative Computing group at NTT on developing models and analysis methods for distributed systems, with a focus on cooperative group activities in networks. Such group activities range from human social activities in cyber communities to powerful distributed applications involving data shar...
متن کاملGuest Editorial Proof in Dynamic Geometry Environments
Since its creation in 1968, Educational Studies in Mathematics (ESM) has been a leading journal in the field of Mathematics Education. In the pages of ESM the results of new and important research in Mathematics Education have been reported and the most relevant research questions raised and discussed. Somewhat in parallel, the International Group for the Psychology of Mathematics Education (PM...
متن کاملA context-sensitive dynamic role-based access control model for pervasive computing environments
Resources and services are accessible in pervasive computing environments from anywhere and at any time. Also, due to ever-changing nature of such environments, the identity of users is unknown. However, users must be able to access the required resources based on their contexts. These and other similar complexities necessitate dynamic and context-aware access control models for such environmen...
متن کاملCooperative Computing in Dynamic Environments MIT9904-12
The Theory of Distributed Systems group at MIT pursues research on the development of models, analysis and verification methods, and algorithms for distributed systems. Most of its recent work focuses on systems that are highly dynamic, where participants may join and leave the system and may change location. Moreover, the network topology may change, and components may fail and recover. We add...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2016
ISSN: 1012-2443,1573-7470
DOI: 10.1007/s10472-016-9500-3