Zove

  •        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
Implementation
License
Platform

   




Related Projects

ioflo - Automated Reasoning Engine and Flow Based Programming Framework


Automated Reasoning Engine and Flow Based Programming Framework

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


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

smib


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

KLogo-Turtle


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.

mathscript - Toy programming language for mathematical computation


Toy programming language for mathematical computation



go-geom2d - A 2D geometry library for the Go programming language


A 2D geometry library for the Go programming language

Theorema - Theorema: A System for Automated Reasoning and Automated Theory Exploration


Theorema: A System for Automated Reasoning and Automated Theory Exploration

Julia - Language for Technical Computing


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.

Commons Math: The Apache Commons Mathematics Library


Commons 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.

mc2013-progress - Paper in Mathematics & Computation 2013 conference on Progress of OpenMC


Paper in Mathematics & Computation 2013 conference on Progress of OpenMC

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


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

CG-Page - My Computation Geometry Page


My Computation Geometry Page

John-Harrison-s-Automated-Reasoning-Code


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

algorithms - Calculation, data processing, and automated reasoning.


Calculation, data processing, and automated reasoning.

handbook-of-practical-logic-and-automated-reasoning


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

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


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

flowgraph - Ready-send coordination layer on top of goroutines.


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.

cmu-cs-212ML-notes-spring-1998 - Some notes from CMU CS 15-212-ML, spring 1998


In 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 - CSharp Based Mathematical Computation


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#.

cp-formations - Testbed for game geometry and formations using Chipmunks-js


Testbed for game geometry and formations using Chipmunks-js