textbooks
Sponsored Links
Sponsored Links
Secleted [ 0 ] software to compare
Results 1 - 15 of about 12
Used Textbook Database 1.0
Used Textbook Database provides a database for listing used textbooks. more>>
Used Textbook Database provides a database for listing used textbooks.
Used Textbook Database is a Web-based textbook database that lets users to create an account and list their used textbooks or books.
It is very modular and customizable and allows for easy integration into an existing Web site.
<<lessUsed Textbook Database is a Web-based textbook database that lets users to create an account and list their used textbooks or books.
It is very modular and customizable and allows for easy integration into an existing Web site.
Download (0.013MB)
Added: 2007-02-06 License: GPL (GNU General Public License) Price:
589 downloads
Tigerbooks 1.1
Tigerbooks project is a online book exchange. more>>
Tigerbooks project is a online book exchange.
Tigerbooks is an online book exchange designed for individual universities and colleges.
Students can post books for sale or browse for books to buy. Fulltext and ISBN searches are available.
There are other book exchange systems currently available. However, TigerBooks is an open source solution.
This means that it is freely available to any University or College that wishes to use it for its own students. Furthermore, any University or College can make contributions to the TigerBooks thus distributing its maintenance costs.
Maintenance costs are particularly important in academic realms as students are only at their institutions for the duration of their program. Being an open source solution means the Universities and Colleges do not have to worry about who will be maintaining TigerBooks in the years to come.
TigerBooks is a successful open source project and will see greater success in the future as it is distributed amongst Universities and Colleges. It is successful really for two reasons.
The first being that is meets the needs of students in exchanging their textbooks. The second is that it is open source and consequently is maintained by the open source community.
<<lessTigerbooks is an online book exchange designed for individual universities and colleges.
Students can post books for sale or browse for books to buy. Fulltext and ISBN searches are available.
There are other book exchange systems currently available. However, TigerBooks is an open source solution.
This means that it is freely available to any University or College that wishes to use it for its own students. Furthermore, any University or College can make contributions to the TigerBooks thus distributing its maintenance costs.
Maintenance costs are particularly important in academic realms as students are only at their institutions for the duration of their program. Being an open source solution means the Universities and Colleges do not have to worry about who will be maintaining TigerBooks in the years to come.
TigerBooks is a successful open source project and will see greater success in the future as it is distributed amongst Universities and Colleges. It is successful really for two reasons.
The first being that is meets the needs of students in exchanging their textbooks. The second is that it is open source and consequently is maintained by the open source community.
Download (0.025MB)
Added: 2006-10-21 License: GPL (GNU General Public License) Price:
1100 downloads
Visualization Toolkit 5.0.3
Visualization ToolKit (VTK) is an open source, freely available software system for 3D computer graphics, image processing. more>>
The Visualization ToolKit (VTK) is an open source, freely available software system for 3D computer graphics, image processing, and visualization used by thousands of researchers and developers around the world. Visualization Toolkit consists of a C++ class library, and several interpreted interface layers including Tcl/Tk, Java, and Python.
Professional support and products for VTK are provided by Kitware, Inc. VTK supports a wide variety of visualization algorithms including scalar, vector, tensor, texture, and volumetric methods; and advanced modeling techniques such as implicit modelling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation. In addition, dozens of imaging algorithms have been directly integrated to allow the user to mix 2D imaging / 3D graphics algorithms and data.
The design and implementation of the library has been strongly influenced by object-oriented principles. VTK has been installed and tested on nearly every Unix-based platform, PCs (Windows 98/ME/NT/2000/XP), and Mac OSX Jaguar or later.
Many resources exist to help you utilize the full potential of VTK in your application area. These resources include:
Mailing List: Over 1900 users are subscribed to this list. A great place to post questions, and search for answers.
VTK Textbook: The Visualization Toolkit, An Object-Oriented Approach To 3D Graphics, 3rd edition, ISBN 1-930934-12-2, now published by Kitware. This is a great book to read if you want to learn the details of the visualization algorithms and data structures. The book is often used as a college text in visualization and graphics courses.
VTK Users Guide: The Visualization Toolkit Users Guide, ISBN 1-930934-13-0, published by Kitware. This is the book to get if you want to learn how to install and use VTK.
ParaView Guide: The ParaView Guide, ISBN 1-930934-14-9, published by Kitware. ParaView is a turn-key visualization system build on top of VTK, and makes VTK easier to use with an interactive, point and click interface. ParaView also supports supercomputing applications, including tiled display and distributed parallel processing.
CMake: Mastering CMake, ISBN 1-930934-11-4, published by Kitware. CMake is the premier, cross-platform build system used to compile and link VTK. A useful book if you want to use VTK in your projects.
Support: A variety of support options are available ranging from the single point-of-contact Professional Subscription to get you up and running, to custom Site Support to help you develop your next product with VTK.
Enhancements:
- Many bugs were fixed, including fixes for memory leaks, array bounds errors, and stack overflows.
<<lessProfessional support and products for VTK are provided by Kitware, Inc. VTK supports a wide variety of visualization algorithms including scalar, vector, tensor, texture, and volumetric methods; and advanced modeling techniques such as implicit modelling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation. In addition, dozens of imaging algorithms have been directly integrated to allow the user to mix 2D imaging / 3D graphics algorithms and data.
The design and implementation of the library has been strongly influenced by object-oriented principles. VTK has been installed and tested on nearly every Unix-based platform, PCs (Windows 98/ME/NT/2000/XP), and Mac OSX Jaguar or later.
Many resources exist to help you utilize the full potential of VTK in your application area. These resources include:
Mailing List: Over 1900 users are subscribed to this list. A great place to post questions, and search for answers.
VTK Textbook: The Visualization Toolkit, An Object-Oriented Approach To 3D Graphics, 3rd edition, ISBN 1-930934-12-2, now published by Kitware. This is a great book to read if you want to learn the details of the visualization algorithms and data structures. The book is often used as a college text in visualization and graphics courses.
VTK Users Guide: The Visualization Toolkit Users Guide, ISBN 1-930934-13-0, published by Kitware. This is the book to get if you want to learn how to install and use VTK.
ParaView Guide: The ParaView Guide, ISBN 1-930934-14-9, published by Kitware. ParaView is a turn-key visualization system build on top of VTK, and makes VTK easier to use with an interactive, point and click interface. ParaView also supports supercomputing applications, including tiled display and distributed parallel processing.
CMake: Mastering CMake, ISBN 1-930934-11-4, published by Kitware. CMake is the premier, cross-platform build system used to compile and link VTK. A useful book if you want to use VTK in your projects.
Support: A variety of support options are available ranging from the single point-of-contact Professional Subscription to get you up and running, to custom Site Support to help you develop your next product with VTK.
Enhancements:
- Many bugs were fixed, including fixes for memory leaks, array bounds errors, and stack overflows.
Download (7.9MB)
Added: 2007-05-02 License: GPL (GNU General Public License) Price:
922 downloads
bcr harms 0.1
bcr harms takes a model of the quantum harmonic oscillator and adapts it as a soft synth. more>>
bcr harms takes a model of the quantum harmonic oscillator and adapts it as a soft synth. A little while ago I came across this pretty cool applet that simulates the coherent states (so called Glauber states) of the quantum harmonic oscillator. You can read more about quantum harmonic oscillators on Wikipedia, or perhaps a quantum physics textbook. bcr harms takes this model and turns it into a soft synth. The interface is again based on the BCR2000s knobs and buttons.
There is an applet version for playing with, but the standalone version will definitely perform better.
Instructions:
Download and run with java -jar bcr-harms.jar.
The top row of knobs lets you set the relative amplitude of the first 8 states of the harmonic oscillator. The first row of buttons will select single states. With the bottom left hand knob you can set the average energy and force a Glauber state. Importantly, the stop/start button is situated on the right hand side, where the BCR2000 store button is. There are a few other parameters to play around with too. Furthermore you can select single states by sending MIDI note on messages to the application, this lets you play it somewhat like an instrument.
<<lessThere is an applet version for playing with, but the standalone version will definitely perform better.
Instructions:
Download and run with java -jar bcr-harms.jar.
The top row of knobs lets you set the relative amplitude of the first 8 states of the harmonic oscillator. The first row of buttons will select single states. With the bottom left hand knob you can set the average energy and force a Glauber state. Importantly, the stop/start button is situated on the right hand side, where the BCR2000 store button is. There are a few other parameters to play around with too. Furthermore you can select single states by sending MIDI note on messages to the application, this lets you play it somewhat like an instrument.
Download (0.10MB)
Added: 2007-07-04 License: GPL (GNU General Public License) Price:
846 downloads
IMathAS 1beta16
IMathAS project is a Web-based math testing and homework system. more>>
IMathAS project is a Web-based math testing and homework system.
IMathAS (Internet Mathematics Assessment System) is a Web-based math testing and homework system.
It is a light course/learning management system and testing system, similar to and inspired by WebWork and WIMS, and similar to textbook-bundled systems like iLrn and MathXL.
It requires a browser with MathML and SVG support such as Firefox 1.5 or IE6 with plugins.
Main features:
- Math: The system was designed for Math assessment; no effort was made for the system to be multi-purpose.
- Sharing: The system was setup to encourage sharing of questions within a system and outside. Questions are grouped into question libraries, and are not tied directly to a specific assessment. Unless marked Private, questions can be used by anyone on the system, or used as a template for writing new questions. Export and Import allows the sharing of question sets between systems. Also, macro libraries allow for the expansion of IMathASs question language. Users with expertise in a field can develop macro extensions, and share them with other users.
- Ease of Install: The system uses standard PHP and MySQL. It requires no special compilation options or installation of external programs
- Display:
- Rich Math and Graph display, using standards-based MathML and SVG, powered by Peter Jipsens ASCIIsvg and ASCIIMathML
- Rich Text Editor with built-in Math and Graph support for text items displayed in a course
- Alternate display options for screenreaders and browsers without needed support
- Assessment:
- Question types including:
- Functions, with answers like "sin(x)"
- Numbers, compared to a given tolerance
- Calculated Numbers, like 5/3 or 2^5
- Multiple-Choice
- Multiple-Answer
- Matching
- String
- Numerical Matrix
- Calculated Matrix
- Multipart
- Multiple display options and assessment settings, including an option for practice sets, and due date exceptions for individual students
- Algorithmically generated questions, with a relatively simple-to-use question language (loosely based on PHP) with many built-in randomizers and display macros
- Expandable question language, by installing additional macros
- Other Course Features
- Post text items, uploaded files, or web links to the classroom
- Basic Discussion Forums
- Administration:
- Flexible administration: IMathAS can be centrally administered, or teachers can be given rights to create their own courses
- Courses can have one or more teachers
<<lessIMathAS (Internet Mathematics Assessment System) is a Web-based math testing and homework system.
It is a light course/learning management system and testing system, similar to and inspired by WebWork and WIMS, and similar to textbook-bundled systems like iLrn and MathXL.
It requires a browser with MathML and SVG support such as Firefox 1.5 or IE6 with plugins.
Main features:
- Math: The system was designed for Math assessment; no effort was made for the system to be multi-purpose.
- Sharing: The system was setup to encourage sharing of questions within a system and outside. Questions are grouped into question libraries, and are not tied directly to a specific assessment. Unless marked Private, questions can be used by anyone on the system, or used as a template for writing new questions. Export and Import allows the sharing of question sets between systems. Also, macro libraries allow for the expansion of IMathASs question language. Users with expertise in a field can develop macro extensions, and share them with other users.
- Ease of Install: The system uses standard PHP and MySQL. It requires no special compilation options or installation of external programs
- Display:
- Rich Math and Graph display, using standards-based MathML and SVG, powered by Peter Jipsens ASCIIsvg and ASCIIMathML
- Rich Text Editor with built-in Math and Graph support for text items displayed in a course
- Alternate display options for screenreaders and browsers without needed support
- Assessment:
- Question types including:
- Functions, with answers like "sin(x)"
- Numbers, compared to a given tolerance
- Calculated Numbers, like 5/3 or 2^5
- Multiple-Choice
- Multiple-Answer
- Matching
- String
- Numerical Matrix
- Calculated Matrix
- Multipart
- Multiple display options and assessment settings, including an option for practice sets, and due date exceptions for individual students
- Algorithmically generated questions, with a relatively simple-to-use question language (loosely based on PHP) with many built-in randomizers and display macros
- Expandable question language, by installing additional macros
- Other Course Features
- Post text items, uploaded files, or web links to the classroom
- Basic Discussion Forums
- Administration:
- Flexible administration: IMathAS can be centrally administered, or teachers can be given rights to create their own courses
- Courses can have one or more teachers
Download (0.46MB)
Added: 2006-11-02 License: GPL (GNU General Public License) Price:
1091 downloads
Advanced Bash Scripting Guide 5.0
The Advanced Bash Scripting Guide is both a reference and a tutorial on shell scripting. more>>
This tutorial assumes no previous knowledge of scripting or programming, but progresses rapidly toward an intermediate/advanced level of instruction . . . all the while sneaking in little snippets of UNIX wisdom and lore.
Advanced Bash Scripting Guide serves as a textbook, a manual for self-study, and a reference and source of knowledge on shell scripting techniques.
The exercises and heavily-commented examples invite active reader participation, under the premise that the only way to really learn scripting is to write scripts.
Enhancements:
- This release adds a cross-linked index (the final missing critical feature in this project), other new material (including a new appendix and a couple of new example scripts), and bugfixes.
- This is an important update.
<<lessAdvanced Bash Scripting Guide serves as a textbook, a manual for self-study, and a reference and source of knowledge on shell scripting techniques.
The exercises and heavily-commented examples invite active reader participation, under the premise that the only way to really learn scripting is to write scripts.
Enhancements:
- This release adds a cross-linked index (the final missing critical feature in this project), other new material (including a new appendix and a couple of new example scripts), and bugfixes.
- This is an important update.
Download (0.74MB)
Added: 2007-06-21 License: (FDL) GNU Free Documentation License Price:
892 downloads
libwayne
libwayne is a library of reasonably abstract datatypes and algorithms written in C. more>>
libwayne is a library of reasonably abstract datatypes and algorithms written in C.
The algorithms in libwayne are by no means original. Many of them are taken verbatim from textbooks on data structures and algorithms, and I simply translated them into C. They include efficient and correct routines for priority queues, event-driven simulations, queues, stacks, binary trees, sets of integers, graphs (the node-edge kind), some combinatorics routines, ODE integration routines, a simple statistics package, and a matrix-vector library.
Many of the routines (heap, stack, queue, bintree) can work with arbitrary objects, not just integers. Comparisons are done with pointers to comparison functions, similar to ANSI Cs standard qsort. This library is not meant to be complete; I write the routines as I need them, but only high-quality code goes into libwayne.
One thing that many people ask me is ``why didnt you use C++? Without going into a long tirade, suffice it to say that, although I am not a C++ expert (actually, the only stuff I havent learned in intimate detail is templates), I know enough C++ to realize that it is not the be-all, end-all of programming languages. In fact, after several years of C++ being around, it is already beginning a slow fading into history, with Java being its successor --- and not a very good one, at that.
At the risk of sounding like the 40-50 year olds out there who still insist that FORTRAN is a good enough language for everything, Ill be a 30-something who insists that, until something better comes along, C is still a good all-purpose language in which to write heavy, data-structure intensive programs. I believe it was Dennis Ritchie who said something like, "C is rarely the best language for a given task, but its often the second-best," the implication being that its better to learn one language that is second-best for everything, than to learn a new language for every programming task. (One could say the same of English.)
I started libwayne when I realized that I was constantly re-writing little bits of code that did important things that should be in the C standard, but are not. For example, how many times have you written code like this:
if((p = malloc(n)) == NULL) /* or some other fatal error condition */
{
fprintf(stderr, "error: %sn", err_msg);
exit(1);
}
I got sick of it. Furthermore, I often wanted to know more about why my program failed. So I wrote Fatal. Heres its prototype:
void Fatal(char *fmt, ...); /* generates an assertion failure */
It uses varargs so you can pass it an arbitrary list of output arguments just like printf, but it generates an assertion failure so that if you run it under a debugger, you can look at the program nicely as it dies. It turned out to be only the first function I wrote for libwayne, and it was put into a file called "misc.c" which I started including in most of the code I wrote. Another early member of the library was Malloc, which calls Fatal if the standard malloc fails.
Eventually "misc.c" started getting pretty big, with macros for MIN, MAX, ABS, SQR, etc, so I created misc.h and compiled misc.c into an object module. That was about 1993.
About that time I started to realize that, at least in C, we need a way to pass "objects" around in a reasonably transparent way, but sometimes we want to treat pointers as integers. This makes some peoples teeth sweat (my own included), so I invented the voint datatype, which is (you guessed it) a union of (void*) and (int).
Then I started adding more complex algorithms to libwayne, whenever I needed them. Each and every piece of libwayne was written because I needed it, but only things that I took careful time to do well went into libwayne. Any algorithm that needs to compare objects needs a comparison function like the one used by the ANSI standard qsort routine.
<<lessThe algorithms in libwayne are by no means original. Many of them are taken verbatim from textbooks on data structures and algorithms, and I simply translated them into C. They include efficient and correct routines for priority queues, event-driven simulations, queues, stacks, binary trees, sets of integers, graphs (the node-edge kind), some combinatorics routines, ODE integration routines, a simple statistics package, and a matrix-vector library.
Many of the routines (heap, stack, queue, bintree) can work with arbitrary objects, not just integers. Comparisons are done with pointers to comparison functions, similar to ANSI Cs standard qsort. This library is not meant to be complete; I write the routines as I need them, but only high-quality code goes into libwayne.
One thing that many people ask me is ``why didnt you use C++? Without going into a long tirade, suffice it to say that, although I am not a C++ expert (actually, the only stuff I havent learned in intimate detail is templates), I know enough C++ to realize that it is not the be-all, end-all of programming languages. In fact, after several years of C++ being around, it is already beginning a slow fading into history, with Java being its successor --- and not a very good one, at that.
At the risk of sounding like the 40-50 year olds out there who still insist that FORTRAN is a good enough language for everything, Ill be a 30-something who insists that, until something better comes along, C is still a good all-purpose language in which to write heavy, data-structure intensive programs. I believe it was Dennis Ritchie who said something like, "C is rarely the best language for a given task, but its often the second-best," the implication being that its better to learn one language that is second-best for everything, than to learn a new language for every programming task. (One could say the same of English.)
I started libwayne when I realized that I was constantly re-writing little bits of code that did important things that should be in the C standard, but are not. For example, how many times have you written code like this:
if((p = malloc(n)) == NULL) /* or some other fatal error condition */
{
fprintf(stderr, "error: %sn", err_msg);
exit(1);
}
I got sick of it. Furthermore, I often wanted to know more about why my program failed. So I wrote Fatal. Heres its prototype:
void Fatal(char *fmt, ...); /* generates an assertion failure */
It uses varargs so you can pass it an arbitrary list of output arguments just like printf, but it generates an assertion failure so that if you run it under a debugger, you can look at the program nicely as it dies. It turned out to be only the first function I wrote for libwayne, and it was put into a file called "misc.c" which I started including in most of the code I wrote. Another early member of the library was Malloc, which calls Fatal if the standard malloc fails.
Eventually "misc.c" started getting pretty big, with macros for MIN, MAX, ABS, SQR, etc, so I created misc.h and compiled misc.c into an object module. That was about 1993.
About that time I started to realize that, at least in C, we need a way to pass "objects" around in a reasonably transparent way, but sometimes we want to treat pointers as integers. This makes some peoples teeth sweat (my own included), so I invented the voint datatype, which is (you guessed it) a union of (void*) and (int).
Then I started adding more complex algorithms to libwayne, whenever I needed them. Each and every piece of libwayne was written because I needed it, but only things that I took careful time to do well went into libwayne. Any algorithm that needs to compare objects needs a comparison function like the one used by the ANSI standard qsort routine.
Download (3.0MB)
Added: 2006-03-23 License: LGPL (GNU Lesser General Public License) Price:
1311 downloads
OpenCartable 1.3
OpenCartable project is an electronic school and schoolbook system. more>>
OpenCartable project is an electronic school and schoolbook system.
OpenCartable is an online tool for teachers and their students organized around textbooks and bibliographies of links to Web sites or uploaded files.
The "todo" links (or resources) can be affected as works that the student answers and the teacher corrects and marks.
The focus is on simplicity, with students only using three pages: their desk, textbooks, and works. Users are grouped in a school, and teachers manage their students through groups.
The contents are written as standard DocBook files plus a LOM (Learning Object Metadata) schema that can be shared among OpenCartable servers using simple tools like rsync.
<<lessOpenCartable is an online tool for teachers and their students organized around textbooks and bibliographies of links to Web sites or uploaded files.
The "todo" links (or resources) can be affected as works that the student answers and the teacher corrects and marks.
The focus is on simplicity, with students only using three pages: their desk, textbooks, and works. Users are grouped in a school, and teachers manage their students through groups.
The contents are written as standard DocBook files plus a LOM (Learning Object Metadata) schema that can be shared among OpenCartable servers using simple tools like rsync.
Download (0.004MB)
Added: 2006-11-02 License: GPL (GNU General Public License) Price:
1087 downloads
jscl-meditor 2.3
jscl-meditor is a java symbolic computing library and mathematical editor. more>>
jscl-meditor is a java symbolic computing library and mathematical editor.
Main features:
- polynomial system solving
- vectors and matrices
- factorization
- derivatives
- integrals (rational functions)
- boolean algebra
- simplification
- MathML output
- Java code generation
- geometric algebra
Regarding readability, the goal is to produce a code as nice and short as the pseudo-code found in textbooks or research papers. As an illustration, here is what the Euclidean algorithm would look like:
Polynomial gcd(Polynomial p, Polynomial q) {
while(q.signum()!=0) {
Polynomial r=p.remainder(q);
p=q;
q=r;
}
return p;
}
It entails a dedicated development effort. This choice of clear coding, enabled by java, may have consequences in terms of performance compared to other software. But it could be worth the commitment, in the respect that understanding an algorithm just by looking at the code is made possible. For instance, object-orientation allows to hide ugly optimizations behind a clean, easy to use interface.
Some may doubt however that java will ever be as clear as C++ because it doesnt provide operator overloading, which means that a+b is written a.add(b), and will remain as such. The interested reader can look at the ongoing discussion on the matter at Sun.
As for portability, it means that a lot of platforms are available at no cost, from powerful unix workstations or servers to handheld devices. To make it possible, the project is split in two parts : the engine (jscl) and the mathematical editor front-end (meditor). The engine is usable interactively or in batch mode from a java shell interpreter (like BeanShell for instance), or as a java library in any third-party application.
The front-end has currently two implementations (see below). Among others, it is intended for taking course notes. With it, a student can perform the calculations asked by their teacher fast and reliably. The plain text format should make the exchange of notes easy. The produced worksheets can be published on-line thanks to the MathML output feature, for instance on meditorworld (MathML capable browser needed, tested to work with Mozilla).
<<lessMain features:
- polynomial system solving
- vectors and matrices
- factorization
- derivatives
- integrals (rational functions)
- boolean algebra
- simplification
- MathML output
- Java code generation
- geometric algebra
Regarding readability, the goal is to produce a code as nice and short as the pseudo-code found in textbooks or research papers. As an illustration, here is what the Euclidean algorithm would look like:
Polynomial gcd(Polynomial p, Polynomial q) {
while(q.signum()!=0) {
Polynomial r=p.remainder(q);
p=q;
q=r;
}
return p;
}
It entails a dedicated development effort. This choice of clear coding, enabled by java, may have consequences in terms of performance compared to other software. But it could be worth the commitment, in the respect that understanding an algorithm just by looking at the code is made possible. For instance, object-orientation allows to hide ugly optimizations behind a clean, easy to use interface.
Some may doubt however that java will ever be as clear as C++ because it doesnt provide operator overloading, which means that a+b is written a.add(b), and will remain as such. The interested reader can look at the ongoing discussion on the matter at Sun.
As for portability, it means that a lot of platforms are available at no cost, from powerful unix workstations or servers to handheld devices. To make it possible, the project is split in two parts : the engine (jscl) and the mathematical editor front-end (meditor). The engine is usable interactively or in batch mode from a java shell interpreter (like BeanShell for instance), or as a java library in any third-party application.
The front-end has currently two implementations (see below). Among others, it is intended for taking course notes. With it, a student can perform the calculations asked by their teacher fast and reliably. The plain text format should make the exchange of notes easy. The produced worksheets can be published on-line thanks to the MathML output feature, for instance on meditorworld (MathML capable browser needed, tested to work with Mozilla).
Download (1.8MB)
Added: 2007-08-06 License: LGPL (GNU Lesser General Public License) Price:
812 downloads
Hilbert II 0.03.04
The Goal of Hilbert II is the creation of a system that enables a working mathematician to put theorems into it. more>>
Hilbert II project is decentralised access to verified and readable mathematical knowledge. As its name already suggests, this project is in the tradition of Hilberts program.
Hilbert II wants to become a free, world wide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. All belonging documents are published under the GNU Free Documentation License.
We aim to adapt the common mathematical argumentation to a formal syntax. That means, whenever in mathematics a certain kind of argumentation is often used we will look forward to integrate it into the formal language of Hilbert II. This formal language is called the qedeq format.
Hilbert II provides a program suite that enables a mathematician to put theorems and proofs into that knowledge base. These proofs are automatically verified by a proof checker. Also texts in "common mathematical language" can be integrated.
The mathematical axioms, definitions and propositions are combined to so called qedeq modules. Such a module could be seen as a mathematical textbook which includes formal correct proofs. Because this system is not centrally administrated and references to any location in the internet are possible, a world wide mathematical knowledge base could be build.
Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by Hilbert II. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
The basic concept of this project is published as PDF document: basic concept. This document is already generated out of the following XML file: qedeq_basic_concept.xml. The main project is in the first develompment phase, see under development.
There exists a working prototype called Principia Mathematica II. It is fully capable of first order predicate logic and shows the main features and functionality of Hilbert II. It can verify (prototype) qedeq module files located anywhere in the internet.
The prototype has a GUI and can transfer qedeq modules into HTML and LaTeX files. You can create and edit your own new qedeq module and publish it in the internet. In the web already existing qedeq modules could be used just by referencing them.
Enhancements:
- This release has a GUI window for transforming LaTeX formulas into QEDEQ XML.
- Behind the scenes a huge refactoring took place.
- The project has now a kernel structure.
- The kernel can be initialized and offers methods for loading a module from the file system or out of the Internet.
- The kernel buffers modules and keeps a log.
- The kernel is not finished yet but the basic structure is there.
<<lessHilbert II wants to become a free, world wide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. All belonging documents are published under the GNU Free Documentation License.
We aim to adapt the common mathematical argumentation to a formal syntax. That means, whenever in mathematics a certain kind of argumentation is often used we will look forward to integrate it into the formal language of Hilbert II. This formal language is called the qedeq format.
Hilbert II provides a program suite that enables a mathematician to put theorems and proofs into that knowledge base. These proofs are automatically verified by a proof checker. Also texts in "common mathematical language" can be integrated.
The mathematical axioms, definitions and propositions are combined to so called qedeq modules. Such a module could be seen as a mathematical textbook which includes formal correct proofs. Because this system is not centrally administrated and references to any location in the internet are possible, a world wide mathematical knowledge base could be build.
Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by Hilbert II. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
The basic concept of this project is published as PDF document: basic concept. This document is already generated out of the following XML file: qedeq_basic_concept.xml. The main project is in the first develompment phase, see under development.
There exists a working prototype called Principia Mathematica II. It is fully capable of first order predicate logic and shows the main features and functionality of Hilbert II. It can verify (prototype) qedeq module files located anywhere in the internet.
The prototype has a GUI and can transfer qedeq modules into HTML and LaTeX files. You can create and edit your own new qedeq module and publish it in the internet. In the web already existing qedeq modules could be used just by referencing them.
Enhancements:
- This release has a GUI window for transforming LaTeX formulas into QEDEQ XML.
- Behind the scenes a huge refactoring took place.
- The project has now a kernel structure.
- The kernel can be initialized and offers methods for loading a module from the file system or out of the Internet.
- The kernel buffers modules and keeps a log.
- The kernel is not finished yet but the basic structure is there.
Download (1.0MB)
Added: 2007-05-10 License: GPL (GNU General Public License) Price:
899 downloads
GOBLIN Graph Library 2.8b17
GOBLIN is a C++ class library focussed on graph optimization and network programming problems. more>>
GOBLIN is a C++ class library focussed on graph optimization and network programming problems. GOBLIN Graph Library deals with all of the standard graph optimization problems discussed by textbooks and in courses on combinatorial optimization.
This software package also consists of a shell interpreter which extends the well-known Tcl/Tk language to graph objects and a graph browser and editor tool. Executable solvers are available for practical optimization problems. The graph browser applies for teaching and scientific documentation purposes.
GOBLIN is open source software and licenced by the GNU Lesser Public License (LGPL). That is, GOBLIN may be downloaded, compiled and used for scientific, educational and other purposes free of charge. For details, in particular the statements about redistribution and changes of the source code, observe the LGPL document which is attached to the package.
Main features:
- The gosh interpreter extends the Tcl/Tk scripting language to graph objects in a natural way.
- The goblet graph browser and editor tool. Graphical front end to the library.
- An open class hierarchy which strictly separates between abstract classes (all mathematical algorithms are defined as methods of abstract classes), implementations (i.e. by incidence lists, adjacency matrices) and logical views (problem transformations).
- A generic branch and bound module with several applications to graph optimization.
- Logging and tracing functionality which allows to study the various algorithms by examples.
- A runtime configuration module controls the selection of mathemetical methods, logging information, and the tracing of data objects.
- Compile time configuration module for code optimization.
- A file interface which can be easily extended to new problem classes.
- Source code for executable solver programs.
Today, GOBLIN provides strongly polynomial algorithms for the following graph optimization problems:
- Shortest paths in graphs and digraphs with negative lengths.
- Negative cycles and minimum mean cycles.
- Strong and 2-connected components.
- Minimum spanning trees, arborescences and 1-trees.
- Maximum st-flows, feasible circulations and b-flows.
- Min-cost st-flows, b-flows and circulations.
- Assignment problems of any kind.
- 1-matchings, b-matchings, capacitated b-matchings, f-factors and degree-constrained subgraphs.
- Directed and undirected Chinese postman problems, T-joins.
Enhancements:
- This release comes with explicit code for orthogonal drawing of trees.
- There are also new generator methods for regular planara graphs.
- A lot of doxygen comments has been added, but dexcription are still far from complete.
<<lessThis software package also consists of a shell interpreter which extends the well-known Tcl/Tk language to graph objects and a graph browser and editor tool. Executable solvers are available for practical optimization problems. The graph browser applies for teaching and scientific documentation purposes.
GOBLIN is open source software and licenced by the GNU Lesser Public License (LGPL). That is, GOBLIN may be downloaded, compiled and used for scientific, educational and other purposes free of charge. For details, in particular the statements about redistribution and changes of the source code, observe the LGPL document which is attached to the package.
Main features:
- The gosh interpreter extends the Tcl/Tk scripting language to graph objects in a natural way.
- The goblet graph browser and editor tool. Graphical front end to the library.
- An open class hierarchy which strictly separates between abstract classes (all mathematical algorithms are defined as methods of abstract classes), implementations (i.e. by incidence lists, adjacency matrices) and logical views (problem transformations).
- A generic branch and bound module with several applications to graph optimization.
- Logging and tracing functionality which allows to study the various algorithms by examples.
- A runtime configuration module controls the selection of mathemetical methods, logging information, and the tracing of data objects.
- Compile time configuration module for code optimization.
- A file interface which can be easily extended to new problem classes.
- Source code for executable solver programs.
Today, GOBLIN provides strongly polynomial algorithms for the following graph optimization problems:
- Shortest paths in graphs and digraphs with negative lengths.
- Negative cycles and minimum mean cycles.
- Strong and 2-connected components.
- Minimum spanning trees, arborescences and 1-trees.
- Maximum st-flows, feasible circulations and b-flows.
- Min-cost st-flows, b-flows and circulations.
- Assignment problems of any kind.
- 1-matchings, b-matchings, capacitated b-matchings, f-factors and degree-constrained subgraphs.
- Directed and undirected Chinese postman problems, T-joins.
Enhancements:
- This release comes with explicit code for orthogonal drawing of trees.
- There are also new generator methods for regular planara graphs.
- A lot of doxygen comments has been added, but dexcription are still far from complete.
Download (1.3MB)
Added: 2007-07-30 License: LGPL (GNU Lesser General Public License) Price:
818 downloads
jrMan 0.4
jrMan is an open source version of the REYES rendering algorithm used by Pixars PhotoRealistic Renderman. more>>
jrMan is an open source version of the REYES rendering algorithm used by Pixars PhotoRealistic Renderman.
Almost all digital production work in the film industry is rendered using this algorithm, yet most computer graphics textbooks fail to mention it or only provide a very superficial description of how it works.
jrMans main objective is to provide an open source implementation of the REYES rendering algorithm to permit, both students and teachers, to understand how it works and experiment with it.
To achieve this objective the source code must be easy to read and should run on most operating systems. This is the one of the reasons we are implementing it in Java.
Main features:
- NURBS
- Curves
- Rational bicubic patches
- Patch meshes
- Smooth micropolygon interpolation
- Delayed ReadArchive
- Alpha output in RGBA images
- Many bug fixes
- Smaller RAM footprint when rendering large/complex scenes
<<lessAlmost all digital production work in the film industry is rendered using this algorithm, yet most computer graphics textbooks fail to mention it or only provide a very superficial description of how it works.
jrMans main objective is to provide an open source implementation of the REYES rendering algorithm to permit, both students and teachers, to understand how it works and experiment with it.
To achieve this objective the source code must be easy to read and should run on most operating systems. This is the one of the reasons we are implementing it in Java.
Main features:
- NURBS
- Curves
- Rational bicubic patches
- Patch meshes
- Smooth micropolygon interpolation
- Delayed ReadArchive
- Alpha output in RGBA images
- Many bug fixes
- Smaller RAM footprint when rendering large/complex scenes
Download (7.2MB)
Added: 2007-02-27 License: GPL (GNU General Public License) Price:
971 downloads
Secleted [ 0 ] software to compare
- Page: 1 of 1
- 1
Copyright Notice:
Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future software development. The above textbooks search only lists software in full, demo and trial versions for free download. Download links are directly from our mirror sites or publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed