Geolog is a logic programming language for finitary geometric logic. These webnotes describe how to use a Geolog interpreter written in Prolog, called Geoprolog. These notes also provide examples showing how to prove some interesting mathematical theorems using Geoprolog. Another section (§8) discusses an interactive version of the software that connects a Prolog prover with a Java GUI.
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.
This archive is open for any geometer to publish new geometric models, or to browse this site for material to be used in education and research. These geometry models cover a broad range of mathematical topics from geometry, topology, and to some extent from numerics.
EDEN is the Engine for DEfinitive Notations. It is the primary software tool of the Empirical Modelling research group. We build models with it, using a variety of definitive notations that it implements.
This paper documents the first comprehensive empirical research on the geographical distribution and personal background of Libre Software developers. While preceding studies relied on either a single tool or examined only a single project, like the Linux kernel, we include a mulitude of utilities, like the application Codd, which automatically examines source code to determine the author, or an online survey which obtained additional personal information never collected before. In addition to that, we examined a great variety of software projects, by accessing an online repository and including linux distributions with the highest rate of developing activity. As a result, we were able to bring an end to the most prejudices surrounding the personal background of Libre Software developers, as well as to state a very promising rank of European developers on a global scale, who are actually as numerous as their North American colleagues.
This paper provides quantitative data that, in many cases, using open source software / free software (abbreviated as OSS/FS, FLOSS, or FOSS) is a reasonable or even superior approach to using their proprietary competition according to various measures. This paper’s goal is to show that you should consider using OSS/FS when acquiring software. This paper examines market share, reliability, performance, scalability, security, and total cost of ownership. It also has sections on non-quantitative issues, unnecessary fears, OSS/FS on the desktop, usage reports, governments and OSS/FS, other sites providing related information, and ends with some conclusions. An appendix gives more background information about OSS/FS.
WebCite®, a member of the International Internet Preservation Consortium, is an on-demand archiving system for webreferences (cited webpages and websites, or other kinds of Internet-accessible digital objects), which can be used by authors, editors, and publishers of scholarly papers and books, to ensure that cited webmaterial will remain available to readers in the future. If cited webreferences in journal articles, books etc. are not archived, future readers may encounter a "404 File Not Found" error when clicking on a cited URL.
EPrints is the most flexible platform for building high quality, high value repositories, recognised as the easiest and fastest way to set up repositories of research literature, scientific data, student theses, project reports, multimedia artefacts, teaching materials, scholarly collections, digitised records, exhibitions and performances.
No major systems language has emerged in over a decade, but over that time the computing landscape has changed tremendously. There are several trends:
* Computers are enormously quicker but software development is not faster.
* Dependency management is a big part of software development today but the “header files” of languages in the C tradition are antithetical to clean dependency analysis—and fast compilation.
* There is a growing rebellion against cumbersome type systems like those of Java and C++, pushing people towards dynamically typed languages such as Python and JavaScript.
* Some fundamental concepts such as garbage collection and parallel computation are not well supported by popular systems languages.
* The emergence of multicore computers has generated worry and confusion.
We believe it's worth trying again with a new language, a concurrent, garbage-collected language with fast compilation. Regarding the points above:
* It is possible to compile a large Go program in a few seconds on a single computer.
* Go provides a model for software construction that makes dependency analysis easy and avoids much of the overhead of C-style include files and libraries.
* Go's type system has no hierarchy, so no time is spent defining the relationships between types. Also, although Go has static types the language attempts to make types feel lighter weight than in typical OO languages.
* Go is fully garbage-collected and provides fundamental support for concurrent execution and communication.
* By its design, Go proposes an approach for the construction of system software on multicore machines.
Ohloh is a free public directory of open source software and people.
Ohloh is a wiki, and anyone is welcome to join our community and add new projects to our directory, or to make corrections to existing directory pages. This public review makes Ohloh one of the largest, most accurate, and up-to-date software directories available.
Ohloh is not a forge -- we do not host open source projects in the traditional sense. Ohloh is a directory, a community, and an analytics service. We use the data from our directory to create historical reports about the changing demographics of the open source world.
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.
S. Bereg. SCG '05: Proceedings of the twenty-first annual symposium on Computational geometry, page 73--80. New York, NY, USA, ACM, (2005)Program Chair-Joe Mitchell and Program Chair-Günter Rote.
C. Essert-Villard. International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 151-160. Springer, (2002)