ctskinner.blogspot.com
Kronecker: December 2011
http://ctskinner.blogspot.com/2011_12_01_archive.html
God created the natural numbers; all the rest is the work of man.". On a recent attempt. It does work, there's a nice Mandelbrot demo. I'm interested in Big Integers. Its not clear how much CUDA speeds these up. NVIDIA GPUs have a bunch of floating point multipliers, not a natural fit for integer MUL with carry. Reports vary from "2X" to "order of magnitude" faster on factoring big integers. NVIDIA Corporation NVIDIA GPU Computing SDK 4.0 C bin win64 Release bandwidthTest.exe Starting. Is the famous bigI...
stephanfr.com
CGAL | Stephan Friedl
https://stephanfr.com/category/computational-geometry/cgal
Cork – A High Performance Library for Geometric Boolean/CSG Operations. Is currently a Ph.D. student at Stanford and had published some remarkable papers on computational geometry. I was first drawn to his work by his 2009 paper on. Fast, Exact, Linear Booleans. As my interest in 3D printing led me to create some tooling of my own. The various libraries I found online for performing Constructive Solid Geometry (CSG) operations were certainly good but overall, very slow. CGAL. I have a collection of sampl...
gecode.org
GECODE download
http://www.gecode.org/download.html
Gecode 4.4.0 has been released on March 23rd, 2015 ( Changelog. Gecode is distributed under the MIT license. See our license information page. For details. If you find any bugs, you can enter them into our bug tracking system. Please refer to Section 2.6 of Modeling and Programming with Gecode. For additional installation and compilation instructions. Gecode comes with an interpreter for the FlatZinc language (see our FlatZinc page. For details). It currently supports FlatZinc version 1.6.0. Linux and Fr...
blog.wezeku.com
F# | Wezeku
http://blog.wezeku.com/category/fsharp
The noble craft of software development. Archive for the ‘ F#. MpirNET – NuGet package for high performance large integers. MpirNET is a .NET wrapper for the high performance multi precision integer library MPIR. Which in turn is a Windows friendly fork of GMP. As noted in my previous post, High performance large integers in .NET. High performance large integers in .NET. The test case is RSA signature verification, which uses the formula. MissingMethodException when migrating from F# 3.0 to F# 3.1. ViewC...
opendreamkit.org
Full-time developer position opening at Université Paris-Sud for Fall 2015 (filled) · OpenDreamKit
http://opendreamkit.org/2015/05/22/developer-position-paris-sud
A project funded by the Horizon 2020. Follow and Contact us. Full-time developer position opening at Université Paris-Sud for Fall 2015 (filled). This is an announcement for a full-time developer ( Ingénieur de Recherche. Position opening at Université Paris-Sud, working on open source software engineering for computational mathematics. A second full-time developer will be hired later on, presumably in Fall 2016. The developer will work at the Laboratoire de Recherche en Informatique. Improve the build, ...
wbhart.blogspot.com
Reading, Writing and Arithmetic: June 2009
http://wbhart.blogspot.com/2009_06_01_archive.html
Reading, Writing and Arithmetic. Sunday, 21 June 2009. Stacks and Elliptic Cohomology. This week I became interested in two different topics due to conversations that I overheard. The first is the topic of stacks and the second is elliptic cohomology. Apparently there are numerous different kinds of stacks - Deligne-Mumford Stacks, Artin Stacks and for the die hard, apparently more general kinds of stacks. The following is probably completely wrong, but is my understanding of what stacks are about. Now s...
blog.wezeku.com
High performance large integers in .NET | Wezeku
http://blog.wezeku.com/2014/06/10/high-performance-large-integers-in-net
The noble craft of software development. High performance large integers in .NET. High performance large integers in .NET. When you’re playing with the sort of big integers used in, for example, cryptography, 64 bits just aren’t enough. In this post, I’ll compare and benchmark some of the alternatives that take .NET numerics beyond 64 bits. The benchmark results turn out to be a tale of the unexpected, to paraphrase Roald Dahl. The test case is RSA signature verification, which uses the formula. Fortunat...
biddy.meolic.com
Biddy: Main Page
http://biddy.meolic.com/doxygen/html
Biddy 1.6. An academic Binary Decision Diagrams pacakge. Biddy is a multi-platform academic Binary Decision Diagrams package. Biddy is maintained by Robert Meolic ( rober .nosp@m. At University of Maribor, Slovenia. Homepage: http:/ biddy.meolic.com/. Biddy is free software released under GPL. Biddy includes automatic garbage collection with a formulae counter, node management with formulae tagging, and variable swapping. Sifting algorithm is implemented. BDD Scout, demo project. General functions whic...
