Unsolved Problems In Math

BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of problems in the area of time-table design, planning, resource...

SparthMP is an ANSI-C math library for Multi-Precision calculations, i.e. beyond float/double domain. It supports regulated accuracy of calculations. For algorithm design with this library you should have and understanding of rounding errors in math.

SemiDBM is an attempt at improving the dumbdbm in the python standard library. It's a slight improvement in both performance and in durability. It can be used anywhere dumbdbm would be appropriate to use, which is basically when you have no other options available. It uses a similar design to...


Platforms: *nix

StorageIM is a software that is used in all sizes of environments, small to enterprise, to monitor, on real time basis, the effective utilization of the storage resources so as to save money by not wasting dollars spent on hardware and the time in administration of that hardware. StorageIM can...


Platforms: *nix

Have problems in converting some strange video formats to playable ones like AVI/MPEG? MediaProSoft Free Video to AVI/MPEG Converter, available for Windows, is a free video converter that converts video files, movies and MTVs. The software, designed with ease of use in mind, can convert all...


Platforms: Windows, Windows 7

Nero TuneItUp is an optimization, tuning and maintenance tool for Windows PCs which helps you analyze and fix common problems, and optimize system settings. During startup Nero TuneItUp automatically analyzes all weak spots and problems in your system and lists them. The intuitive interface lets...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Selenium Alternatives Reviwer is a great platform to review and compare web testing tools in order to find out the best best selenium alternative for automated web app tests. There are four dimensions： Analyze Selenium Issues and Problems What are the difficulties or challenges you...


Platforms: Windows, Windows 7

Fresh Diagnose is a utility designed to analyze and benchmark your computer system. It can analyze and benchmark many kinds of hardware, such as CPU performance, hard disk performance, video system information, mainboard information, and more! Key features of Fresh Diagnose: System...


Platforms: Windows

eags on! mp3 is a powerful manager of mp3 archives that allows to the edition of id3 labels using the freedb database. features: individual and massive edition of id3's. rename of archives and folders using the information of id3's. get id3's from file name. disc search in...


Platforms: Windows

Crap Cleaner is a 100% free system optimization, privacy protection and cleaning tool. With Crap Cleaner, you'll see immediate increases in performance. Crap Cleaner can help you renew your computer by erasing your activity history and surfing traces, cleaning up temp file that takes hard...


Platforms: Windows

TeamViewer is a popular, easy to use desktop sharing tool. As soon as your friends and relatives find out that you know a bit about computers, it's all over. They'll be asking you for help with the most varied tech issues on a constant basis, as if you were a permanent, free customer support...


Platforms: Windows, Windows 8, Windows 7

Service Pack Manager is an automated security patch management tool. It patches security vulnerabilities and stability problems in Windows NT, 2000, XP, 2003 and additional mission-critical Microsoft products, such as IIS, Exchange, SQL, ISA Server, IE, Microsoft Office products, and Windows...


Platforms: Windows

SpeedCrunch is an Open Source, fast, high precision and powerful desktop calculator. It has a scrollable display, allows up to 50 decimal precisions and has unlimited variable storage. Other features include: intelligent automatic completion; keyboard-friendly; more than 15 built-in math...


Platforms: Windows, *nix

Are you looking for an interesting tutorial software? Do you like tackling logical problems? Or do you just want to test your brain skills. Try out this program designed to examine and practice the abilities of your intelligence using logical problems in the area of mathematical operations, words...


Platforms: Windows

SpeedCrunch is an Open Source, fast, high precision and powerful desktop calculator. It has a scrollable display, allows up to 50 decimal precisions and has unlimited variable storage. Other features include: intelligent automatic completion; keyboard-friendly; more than 15 built-in math...


Platforms: Windows, *nix

Beautiful animated wallpaper, which shows a marine lanscape full of dophins.Impressive is the best way to describe this wallpaper. It`s like having your own security camera in the depths of the ocean. The visual effects, like the light in the water, the dolphins and fish, are perfectly...


Platforms: Windows

Portable MV RegClean is an effective, portable Windows Registry cleaner. It is ideal to forget forever the problems and inconsistencies of this crucial element for your system to work well.Portable MV RegClean will help you repair any problem you may have in the registry almost instantly. These...


Platforms: Windows

CCManager, a proactive defense system, is developed based on the research achievement of malicious code and the deficiency of traditional anti-virus software. It integrates proactive defense, safety reinforcement, automatically recovery as a whole, with special anti-virus technology to realize...


Platforms: Windows

Pcal and lcal are calendar-generation programs which produce nice-looking PostScript output. Pcal is usually used to generate monthly-format (one month per page) calendars with optional embedded text and images to mark special events (e.g. holidays, birthdays, etc). It can also generate...


Platforms: *nix

PGID3 is an ID3v1 and v2 tag editor for manipulating the information on files such as MP3s. PGID3 Tag Editor project is written in PHP and uses PHP-GTK, so it can take advantage of the GTK+ Toolkit for rendering a GUI. The program itself is broken into three parts, a PHP Function Library called...


Platforms: *nix