- 78

Zove is aimed to be a full fledged computing and modelling platform for computational challenges. Domains to apply 1. Application prototyping 2. Simulation 3. Optimization Features it supplies 1. Modelling 2. Programming 3. Visualizing

http://zove.codeplex.com/Tags | automated-reasoning computation geometry mathematics programming-language |

Implementation | |

License | GPLv2 |

Platform | Windows |

Automated Reasoning Engine and Flow Based Programming Framework

Mathematical Programming Language - A Domain-Specific Language for Discrete Mathematics.

smib is probably one of the smallest and simpliest computer algebra system in the world, but simple does not mean simplistic. Using smib you can explore many branches of mathematics (e.g. number theory, algebra, calculus, numerical analysis, differential geometry, probability and stochastic calculus) and also some physics (e.g. electromagnetism and quantum mechanics).. By simple you can understand easy to program (smib is a weakly typed language, with strong affinity to recursivity, progra

The KLogo-Turtle is a useful tool for teaching geometry and the basic principles of the programming of computer. Children can study the mathematics of geometry in an interactive and constructive way.

Toy programming language for mathematical computation

A 2D geometry library for the Go programming language

Theorema: A System for Automated Reasoning and Automated Theory Exploration

Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. This computation is automatically distributed across all available compute nodes, and the result, reduced by summation (+), is returned at the calling node.

language programming-language statistical-language statistics technical-computingCommons Math is a library of lightweight, self-contained mathematics and statistics components addressing the most common problems not available in the Java programming language. it has support for Linear Algebra, Probability Distributions, Numerical Algebra, Statistics, Transform methods, Least Square etc.

math math-library mathematics statistics algebraPaper in Mathematics & Computation 2013 conference on Progress of OpenMC

Articles from the blog "Functional Lens (on Mathematics and Computation)"

This is a copy of John Harrison's automated reasoning code, with my personalizations

Calculation, data processing, and automated reasoning.

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison

Go (Golang) offers direct support for concurrent programming with goroutines, channels, and the select statement. Used together they offer all the building blocks necessary for programming across many cores and many Unix boxes. But so much is possible with goroutines that constructing scaleable and reliable systems (that won't deadlock or be throttled by bottlenecks) requires the application or invention of additional concepts.Flowgraphs are a distinct model of concurrent programming that augment channels with ready-send handshake mechanisms to ensure that no data is sent before the receiver is ready. MPI (a framework for supercomputer computation) directly supports flowgraph computation, but doesn't address flow-based computation within a single Unix process. Go with its goroutines (more efficient than threads according to Rob Pike) facilitates taking the MPI model down to whatever granularity the concurrent programmer wants.

flowgraph goroutine flowgraph-coordination wiki flow-based-programming distributed-system distributedIn the late 1990s, I TAed an introductory CS course at CMU, 15-212-ML, which taught topics including types, inductive reasoning and proof, functional programming, design of abstract and parameterized data types through modules, using Standard ML as the programming language of choice.

CM is a C# based Mathematical language which makes it easier for scientist, engineers and students to do scientific computation. CM will provide a mechanism for “NO LOOP” programming which is much like MatLab or Fortran. It's developed in C#.

Testbed for game geometry and formations using Chipmunks-js