• GeoGebra

  • Referenced in 324 articles [sw04203]
  • multi-platform 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]
  • long-standing 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 e-learning systems. E-learning systems ... mathematical expressions, have been used for mathematics education at universities. The means for inputting mathematical ... intelligent editor for authoring educational materials in mathematics e-Learning systems by implementing a mathematical ... expressions in e-learning 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 user-friendly 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 computer-based 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...