• Snap

  • Referenced in 30 articles [sw20131]
  • Coulson, Goodman, Hodgson and Neumann, Experimental Mathematics Vol.9 (2000) Issue 1 for more about snap...
  • BIGEBRA

  • Referenced in 21 articles [sw00078]
  • algebraic framework. The new branch of experimental mathematics allows one to easily enter these fields...
  • CHomP

  • Referenced in 51 articles [sw09358]
  • need for a coherent set of mathematical techniques that is capable of extracting coarse ... understanding of specific systems comes from experimental observation or numerical simulations and thus ... computationally efficient. Algebraic Topology is the classical mathematical tool for the global analysis of nonlinear...
  • MPTP 0.2

  • Referenced in 50 articles [sw02589]
  • Theorem Proving (MPTP) system and first experimental results obtained with it. The goal ... make the large formal Mizar Mathematical Library (MML) available to current first-order automated theorem...
  • Matita

  • Referenced in 71 articles [sw06140]
  • that means pencil in italian) is an experimental, interactive theorem prover under development ... collaboration. It provides a formal language where mathematical definitions, executable algorithms and theorems cohexist...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • predicates: The language BABEL. We investigate the experimental programming language BABEL, designed to achieve integration ... PROLOG) in a simple, flexible, and mathematically well-bounded way. The language relies...
  • Frizbi Mathematics

  • Referenced in 6 articles [sw09513]
  • attitudes toward mathematics and attitude toward computer assisted learning. Two groups (experimental and control ... instruction and experimental group was taught using educational software, namely Frizbi Mathematics 4. The control ... experimental group consisted of 29 students. The groups were compared on achievement of mathematics, retention ... intervention, and 4 months later. The mathematics attitude scale and computer assisted learning attitude scale...
  • D-Claw

  • Referenced in 19 articles [sw21531]
  • Numerical predictions and experimental tests. We evaluate a new depth-averaged mathematical model that...
  • INFTY

  • Referenced in 8 articles [sw33686]
  • layout analysis, character recognition, structure analysis of mathematical expressions, and manual error correction. In those ... better recognition performance. Experimental results on about 500 pages of mathematical documents showed high character...
  • iCTX-Type

  • Referenced in 21 articles [sw22440]
  • experimental scientists to get their desired results without the need to follow the complicated mathematics...
  • VirtualLeaf

  • Referenced in 4 articles [sw28766]
  • hypotheses and produce experimentally testable insights. However, the required mathematics and programming experience makes modeling...
  • ToolboxLS

  • Referenced in 52 articles [sw06312]
  • programming, mesh generation, stochastic differential equations, financial mathematics, and verification. The algorithms in the toolbox ... designed to allow quick and easy experimentation with level set methods, although...
  • STADJE

  • Referenced in 1 article [sw19262]
  • experimental mathematics perspective on the old, and still open, question of when to stop...
  • PseKNC

  • Referenced in 31 articles [sw22436]
  • convenience of the vast majority of experimental scientists, a step-by-step guide is provided ... without the need to follow the complicated mathematical equations, which are presented in this article...
  • iPro54-PseKNC

  • Referenced in 32 articles [sw22411]
  • convenience of the vast majority of experimental scientists, a step-by-step protocol guide ... without the need to follow the complicated mathematics that were presented in this paper just...
  • Builder.m

  • Referenced in 1 article [sw19264]
  • experimental mathematics perspective on the old, and still open, question of when to stop? This...
  • KARATE

  • Referenced in 1 article [sw08584]
  • validation and verification (V&V) against mathematical, experimental, and operational data...
  • WALKSab

  • Referenced in 1 article [sw19263]
  • packages that accompany the article: ”An Experimental Mathematics Perspective of the Old, and Still open...
  • RUIN

  • Referenced in 1 article [sw11436]
  • example of so called “experimental mathematics” where new ideas are derived by means...
  • iRSpot-TNCPseAAC

  • Referenced in 31 articles [sw22412]
  • convenience of the vast majority of experimental scientists, a step-by-step guide is provided ... without the need to follow the complicated mathematical equations...