
GeoGebra
 Referenced in 324 articles
[sw04203]
 multiplatform dynamic mathematics software for all levels of education that joins geometry, algebra, tables...

Wolfram Functions Site
 Referenced in 27 articles
[sw13597]
 created as a resource for the educational, mathematical, and scientific communities. It contains the world...

FEATFLOW
 Referenced in 183 articles
[sw04254]
 develop software which realizes our new mathematical and algorithmical ideas in combination with high performance ... following three classes of applications: Education of students, scientific research and industrial application...

webDiscovery
 Referenced in 8 articles
[sw10153]
 webDiscovery can be efficiently used in mathematics education, linkage design and testing and computer aided...

Isabelle/PIDE
 Referenced in 12 articles
[sw07185]
 frameworks, and educational tools already exist. This shall ultimately lead to combined mathematical assistants, where ... applications of formal methods, formalized mathematics, and math education in particular...

sketchometry
 Referenced in 5 articles
[sw10845]
 longstanding problems for technology based mathematics education. But a traditional user interface ... software sketchometry enables students to create mathematical constructions by drawing sketches with fingers or pens...

Frizbi Mathematics
 Referenced in 6 articles
[sw09513]
 achievement, attitudes and retention of fourth grade mathematics students in North Cyprus. The purpose ... examine the effects of the educational software Frizbi Mathematics 4 on 4th grade student ... mathematics achievement, retention, attitudes toward mathematics and attitude toward computer assisted learning. Two groups (experimental ... experimental group was taught using educational software, namely Frizbi Mathematics 4. The control group consisted...

MathTOUCH
 Referenced in 2 articles
[sw26074]
 Intelligent editor for authoring educational materials in mathematics elearning systems. Elearning systems ... mathematical expressions, have been used for mathematics education at universities. The means for inputting mathematical ... intelligent editor for authoring educational materials in mathematics eLearning systems by implementing a mathematical ... expressions in elearning systems for mathematics education...

MathXpert
 Referenced in 3 articles
[sw08326]
 general, and MathXpert in particular, in mathematics education...

ETPS
 Referenced in 152 articles
[sw06302]
 respectively, the Theorem Proving System and the Educational Theorem Proving System. The former ... software verification, partial automation of various mathematical activities, promoting development of formal theories...

IngMath
 Referenced in 3 articles
[sw01558]
 methods which are important for the mathematical education of students of technical and economical courses ... used to carry out calculations, for mathematical experiments and for demonstrations in lectures and seminars...

GeometryEditor
 Referenced in 1 article
[sw09823]
 Based Tool for Plane Geometry and Mathematics Education. Geometry is an important part of mathematics...

PascGalois
 Referenced in 1 article
[sw09374]
 Cellular automata over group alphabets: undergraduate education and the PascGalois project. The purpose of this ... connections between standard courses in the undergraduate mathematics curriculum (e.g. abstract algebra, number theory, discrete ... value of these connections to the mathematical education of undergraduates will be described. Project course...

LIMES
 Referenced in 2 articles
[sw02426]
 traditional database providing information on publications in mathematics. With a variety of userfriendly facilities ... large infrasfructure for research and education in mathematics and its applications. Combined access to Zentralblatt...

Kidspiration
 Referenced in 1 article
[sw06617]
 exploratory study compared a computerbased mathematics education intervention with two more traditional approaches with...

simSchool
 Referenced in 1 article
[sw08796]
 experience, a teaching experiment focused on mathematics education and on technology use was conducted. Both...

TPS
 Referenced in 71 articles
[sw00973]
 respectively, the Theorem Proving System and the Educational Theorem Proving System. The former ... software verification, partial automation of various mathematical activities, promoting development of formal theories...

I2Geo
 Referenced in 5 articles
[sw00428]
 platform of the Intergeo project enabling math educators throughout Europe to publicly share interactive geometry ... ontology of mathematical concepts and skills, together with a description of educational pathways in Europe ... cultural searches. Following the patterns of open educational resources, anyone may participate and contribute, either ... quite common to the broader digital mathematical libraries...

WIRIS
 Referenced in 3 articles
[sw08332]
 online platform for mathematical calculations designed for education. You can access a powerful calculation toolbar ... manipulation, among others. WIRIS cas covers all mathematical topics from primary school to university level...

GEPASI
 Referenced in 27 articles
[sw07916]
 translating the language of chemistry (reactions) to mathematics (matrices and differential equations) in a transparent ... friendly interface it is equally good for education...