|
Cinderella (software)
Cinderella is a proprietary interactive geometry software, written in Java programming language. History Cinderella was initially developed by Jürgen Richter-Gebert and Henry Crapo and was used to input incidence theorems and conjectures for automatic theorem proving using the binomial proving method by Richter-Gebert. The initial software was created in Objective-C on the NeXT platform. In 1996, the software was rewritten in Java from scratch by Jürgen Richter-Gebert and Ulrich Kortenkamp. It still included the binomial prover, but was not suitable for classroom teaching as it still was prototypical. This version won the Multimedia Innovation Award at Learntec '97 in Karlsruhe, Germany. Due to this attention the German educational software publisher Heureka-Klett and the scientific publisher Springer-Verlag, Heidelberg, agreed to produce a commercial version of the software. The school version of Cinderella 1.0 was published in 1998, including about 150 examples, animation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Java (programming Language)
Java is a high-level, class-based, object-oriented programming language that is designed to have as few implementation dependencies as possible. It is a general-purpose programming language intended to let programmers ''write once, run anywhere'' ( WORA), meaning that compiled Java code can run on all platforms that support Java without the need to recompile. Java applications are typically compiled to bytecode that can run on any Java virtual machine (JVM) regardless of the underlying computer architecture. The syntax of Java is similar to C and C++, but has fewer low-level facilities than either of them. The Java runtime provides dynamic capabilities (such as reflection and runtime code modification) that are typically not available in traditional compiled languages. , Java was one of the most popular programming languages in use according to GitHub, particularly for client–server web applications, with a reported 9 million developers. Java was originally de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NeXT
Next may refer to: Arts and entertainment Film * ''Next'' (1990 film), an animated short about William Shakespeare * ''Next'' (2007 film), a sci-fi film starring Nicolas Cage * '' Next: A Primer on Urban Painting'', a 2005 documentary film Literature * ''Next'' (Crichton novel), a novel by Michael Crichton * ''Next'' (Hynes novel), a 2010 novel by James Hynes * ''Next'' (play), a play by Terrence McNally * '' Next: The Future Just Happened'', a 2001 non-fiction book by Michael Lewis Music Performers * Next (American band), an R&B trio * NEXT (Korean band), a South Korean rock band * Next (Chinese group), a boy group Albums * ''Next'' (ATB album), 2017 * ''Next'' (Journey album) or the title song, 1977 * ''Next'' (The Necks album) or the title instrumental, 1990 * ''Next'' (The Sensational Alex Harvey Band album) or the title song (see below), 1973 * ''Next'' (Sevendust album), 2005 * ''Next'' (Soulive album), 2002 * ''Next'' (Vanessa Williams album), 1997 * ''Next!' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Geometry
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' not on ''R'', in the plane containing both line ''R'' and point ''P'' there are at least two distinct lines through ''P'' that do not intersect ''R''. (Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.) Hyperbolic plane geometry is also the geometry of pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. Saddle surfaces have negative Gaussian curvature in at least some regions, where they locally resemble the hyperbolic plane. A modern use of hyperbolic geometry is in the theory of special relativity, particularly the Minkowski model. When geometers first realised they were working with something other than the standard Euclidean geometry, they described thei ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spherical Geometry
300px, A sphere with a spherical triangle on it. Spherical geometry is the geometry of the two-dimensional surface of a sphere. In this context the word "sphere" refers only to the 2-dimensional surface and other terms like "ball" or "solid sphere" are used for the surface together with its 3-dimensional interior. Long studied for its practical applications to navigation and astronomy, spherical geometry bears many similarities and relationships to, and important differences from, Euclidean plane geometry. The sphere has for the most part been studied as a part of 3-dimensional Euclidean geometry (often called solid geometry), the surface thought of as placed inside an ambient 3-d space. It can also be analyzed by "intrinsic" methods that only involve the surface itself, and do not refer to, or even assume the existence of, any surrounding space outside or inside the sphere. Because a sphere and a plane differ geometrically, (intrinsic) spherical geometry has some feat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the ''Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions ( theorems) from these. Although many of Euclid's results had been stated earlier,. Euclid was the first to organize these propositions into a logical system in which each result is '' proved'' from axioms and previously proved theorems. The ''Elements'' begins with plane geometry, still taught in secondary school (high school) as the first axiomatic system and the first examples of mathematical proofs. It goes on to the solid geometry of three dimensions. Much of the ''Elements'' states results of what are now called algebra and number theory, explained in geometrical language. For more than two thousand years, the adjective "Euclidean" was unnecessary because no other sort of geom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heidelberg
Heidelberg (; Palatine German language, Palatine German: ''Heidlberg'') is a city in the States of Germany, German state of Baden-Württemberg, situated on the river Neckar in south-west Germany. As of the 2016 census, its population was 159,914, of which roughly a quarter consisted of students. Located about south of Frankfurt, Heidelberg is the List of cities in Baden-Württemberg by population, fifth-largest city in Baden-Württemberg. Heidelberg is part of the densely populated Rhine-Neckar, Rhine-Neckar Metropolitan Region. Heidelberg University, founded in 1386, is Germany's oldest and one of Europe's most reputable universities. Heidelberg is a Science, scientific hub in Germany and home to several internationally renowned #Research, research facilities adjacent to its university, including the European Molecular Biology Laboratory and four Max Planck Society, Max Planck Institutes. The city has also been a hub for the arts, especially literature, throughout the centurie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heureka-Klett
Heureka Klett was a German software engineering company which has made several personal computer games of the sort called "edutainment". They are point-and-click puzzle-adventure games, heavily inspired by ''Myst'' for Windows and Mac. These were distributed by Tivola International to be localized for many markets. On June 1, 2005, Heureka-Klett sold its edutainment software to BrainGame Publishing. The holdings and marketing rights of the 22 games in their back catalogue were transferred. Seven games in the educational series collectively sold over 500,000 units and won numerous awards. Titles published *'' Physikus'', localized to '' Physicus'' for the English-speaking market, attempts to teach physics by exploring an island whose locks are opened by working machines that illustrate different principles of physics. There also exists ''Physicus HD'' and ''Physicus II''. *'' Bioskopia'', localized to '' Bioscopia'' for the English-speaking market, attempts to teach biology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karlsruhe
Karlsruhe ( , , ; South Franconian German, South Franconian: ''Kallsruh'') is the List of cities in Baden-Württemberg by population, third-largest city of the German States of Germany, state (''Land'') of Baden-Württemberg after its capital of Stuttgart and Mannheim, and the List of cities in Germany by population, 22nd-largest city in the nation, with 308,436 inhabitants. It is also a former capital of Baden, a historic region named after Hohenbaden Castle in the city of Baden-Baden. Located on the right bank of the Rhine near the French border, between the Mannheim/Ludwigshafen conurbation to the north and Strasbourg/Kehl to the south, Karlsruhe is Germany's legal center, being home to the Federal Constitutional Court (''Bundesverfassungsgericht''), the Federal Court of Justice (''Bundesgerichtshof'') and the Public Prosecutor General (Germany), Public Prosecutor General of the Federal Court of Justice (''Generalbundesanwalt beim Bundesgerichtshof''). Karlsruhe was the capit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Objective-C
Objective-C is a general-purpose, object-oriented programming language that adds Smalltalk-style messaging to the C programming language. Originally developed by Brad Cox and Tom Love in the early 1980s, it was selected by NeXT for its NeXTSTEP operating system. Due to Apple macOS’s direct lineage from NeXTSTEP, Objective-C was the standard programming language used, supported, and promoted by Apple for developing macOS and iOS applications (via their respective APIs, Cocoa and Cocoa Touch) until the introduction of the Swift programming language in 2014. Objective-C programs developed for non-Apple operating systems or that are not dependent on Apple's APIs may also be compiled for any platform supported by GNU GCC or LLVM/ Clang. Objective-C source code 'messaging/implementation' program files usually have filename extensions, while Objective-C 'header/interface' files have extensions, the same as C header files. Objective-C++ files are denoted with a fil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Microsoft Windows
Windows is a group of several Proprietary software, proprietary graphical user interface, graphical operating system families developed and marketed by Microsoft. Each family caters to a certain sector of the computing industry. For example, Windows NT for consumers, Windows Server for servers, and Windows IoT for embedded systems. Defunct Windows families include Windows 9x, Windows Mobile, and Windows Phone. The first version of Windows was released on November 20, 1985, as a graphical operating system shell for MS-DOS in response to the growing interest in graphical user interfaces (GUIs). Windows is the most popular desktop operating system in the world, with Usage share of operating systems, 75% market share , according to StatCounter. However, Windows is not the most used operating system when including both mobile and desktop OSes, due to Android (operating system), Android's massive growth. , the most recent version of Windows is Windows 11 for consumer Personal compu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Java Programming Language
Java is a high-level, class-based, object-oriented programming language that is designed to have as few implementation dependencies as possible. It is a general-purpose programming language intended to let programmers ''write once, run anywhere'' ( WORA), meaning that compiled Java code can run on all platforms that support Java without the need to recompile. Java applications are typically compiled to bytecode that can run on any Java virtual machine (JVM) regardless of the underlying computer architecture. The syntax of Java is similar to C and C++, but has fewer low-level facilities than either of them. The Java runtime provides dynamic capabilities (such as reflection and runtime code modification) that are typically not available in traditional compiled languages. , Java was one of the most popular programming languages in use according to GitHub, particularly for client–server web applications, with a reported 9 million developers. Java was originally dev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_waving.svg "Click for more on -> Java (programming Language)")
.svg "Click for more on -> Microsoft Windows"){kind=logo}