Kig is a program for exploring geometric constructions.
It is meant as a better replacement for such free programs as KGeo, KSeg and Dr. Geo and commercial programs like Cabri.
Eukleides is a Euclidean geometry drawing language. Two softwares are related to it. First, eukleides, a compiler which allows to typeset geometric figures within a (La)TeX document. This program is also useful to convert such figures in EPS format or in various other vector graphic formats. Second, xeukleides, a GUI front-end which makes possible to create interactive geometric figures. This program is also useful to edit and tune some Eukleides code.
Service-oriented computing is a popular design methodology for large scale business computing systems. Grid computing enables the sharing of distributed computing and data resources such as processing, networking and storage capacity to create a cohesive resource environment for executing distributed applications in service-oriented computing. Grid computing represents more business-oriented orchestration of pretty homogeneous and powerful distributed computing resources to optimize the execution of time consuming process as well. Grid computing have received a significant and sustained research interest in terms of designing and deploying large scale and high performance computational in e-Science and businesses. The objective of the journal is to serve as both the premier venue for presenting foremost research results in the area and as a forum for introducing and exploring new concepts.
Intelligent Control and Automation is a scholarly open access, peer-reviewed, quarterly and fully refereed journal focusing on theories, methods and applications in intelligent control and automation. The goal of this journal is to provide a platform for scientists and academicians all over the world to promote, share and discuss various new issues and developments in different areas of intelligent control and automation.
Free DNS hosting, lets you fully manage your own domain. Dynamic DNS and Static DNS services available. You may also create hosts off other domains that we host upon the domain owners consent, we have several domains to choose from!
Exemplary sites covered here include: WikiViz, FreeMind, Visualizious, Tree Radial Balloon Layout, Comment Flow, OneWord, Del.icio.us Network Explorer, Bubbl.us, ClusterBall, and data visualization of a social network.
KGeo is a program for interactive Geometry just like programs such as Euklid, Zirkel und Lineal or Kseg. It was my wish to write an open source version of this software that is free for schools and combines the best of both (all) worlds.
Until now three-dimensional geometry was difficult to teach – the complexity of designs in perspective, models that are difficult and time-consuming to construct… Cabri 3D is the only program that enables you to alleviate these construction difficulties and that also contains the benefits of interactive geometry.
The dynamic mathematics software establishes new ways of teaching and learning mathematics. It offers opportunities of visualisation that can't be realised on paper or blackboard and with traditional construction tools.
This program is an interactive geometry software with proof related features.
The project consist in producing an interactive proof software for geometry.
GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems.
CaRMetal is based on C.a.R. : it includes all of its functionalities - or almost - but follows a different approach from the graphical interface point of view. It's not just a different design - which would not make sense - but instead it gives another way to reach functionnalities.
S. Lohmann, J. Kaltz, und J. Ziegler. Models in Software Engineering, Volume 4364 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2007)
X. Ma, L. Baresi, C. Ghezzi, V. Panzica La Manna, und J. Lu. Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, Seite 245--255. New York, NY, USA, ACM, (2011)