Calculus Ab Testbank

Inline::Java::PerlInterpreter is a Perl module used to call Perl directly from Java using Inline::Java. SYNOPSIS import org.perl.inline.java.* ; class HelpMePerl { static private InlineJavaPerlInterpreter pi = null ; public HelpMePerl() throws InlineJavaException { } static private...

Ghost Diagrams is a project that takes sets of tiles and tries to find patterns into which they may be formed. The patterns it finds when given randomly chosen tiles are often surprising. It turns out that tiling patterns are a form of computation of equal power to Turing machines, lambda...

perlrecharclass package contains Perl regular expression character classes. The top level documentation about Perl regular expressions is found in perlre. This manual page discusses the syntax and use of character classes in Perl Regular Expressions. A character class is a way of denoting a...


Platforms: *nix

RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...


Platforms: *nix

Math::Group::Thompson Perl module contains OO methods that calculates the cardinality of the ball of radius n of Thompson group F. SYNOPSIS use Math::Group::Thompson; my $F = Math::Group::Thompson->new( VERBOSE => 0 ); my $card = $F->cardBn(3,); print "#B(3) = $cardn"; The...


Platforms: *nix

VCS::CMSynergy::Changes is a list of changes to VCS::CMSynergy. This module is a Perl interface to CM Synergy (formerly known as Continuus CM), a change and configuration management system from Telelogic AB (http://www.telelogic.com). It is implemented on top of the CM Synergy CLI, hence you...


Platforms: *nix

mod_example_ipc is an Apache module that showcases the use in an Apache 2.0 module of the Shared Memory and Mutex routines found in the Apache Portable Runtime. The module itself does nothing useful. Installation: There are two ways to install mod_example_ipc in your server: apxs and the...


Platforms: *nix

Number::Latin is a Perl module that can convert to/from the number system "a,b,...z,aa,ab..." SYNOPSIS use Number::Latin; print join( , map int2latin($_), 1 .. 30), "n"; # # Prints: # a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad Some applications, notably the...


Platforms: *nix

DFA::Kleene is a Kleenes Algorithm for Deterministic Finite Automata. Calculates the "language" (set of words) accepted (= recognized) by a Deterministic Finite Automaton. SYNOPSIS use DFA::Kleene qw(initialize define_accepting_states define_delta kleene example); use DFA::Kleene...


Platforms: *nix

Boost.Join is an asynchronous, message based C++ concurrency library based on join calculus. It is applicable both to multi-threaded applications and to the orchestration of asynchronous, event-based applications. The project follows Comegas design and implementation and builds with Boost...


Platforms: *nix

NashelskyBoylestad is a transistor configuration tool. It allows you to perform some of the calculus made for certain type of transistor configurations, like IB, AV, Ai, Zi, Zo, etc.


Platforms: Mac

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...


Platforms: Mac

LiveMath Vector Calculus Widget is a Dashboard widget that provides LiveMath notebooks for interactive computations of various topics in multivariable calculus, including Graphing in 3D, Tangent Plane, Partial Derivatives, Power Series, Taylor Series, Level Curves, Conic Sections, Multiple...


Platforms: Mac

BlazeDVD is a full-featured and easy to use DVD, Video CD, Audio-CD and media file player. It is stable, simple and superior in quality and can meet all demand on DVD playing. In addition to the common features of a home DVD player, BlazeDVD Pro can provide superior video and audio (Dolby)...


Platforms: Windows, Windows 7

Which estimator is best for your job? Helps Find best Spectral Estimation Method for a Power Spectral Density plot. A menu of 10+ spectral estimators from Steve Kay's textbook 'Modern Spectral Estimation' 1988 is available to choose from. The results differ dramatically from one estimator to...


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

GEUP 3D is an interactive solid geometry software for math calculation and visualization. It allows to create dynamic and general constructions/applications visually by defining math elements. GEUP 3D allows the modification of the construction visually (directly in screen) and it calculates each...


Platforms: Windows

Effizientes und einfaches Arbeiten mit unserem Rechnungsprogramm zum erstellen von Rechnungen und der Kassensoftware für Einzelhandel und Gastronomie von KRO4PRO. Die Software beinhaltet alle Funktionen die sie für einen reibungslosen Ablauf ihres täglichen Geschäftes benötigen. Mehr als 10...


Platforms: Windows, Other

My Fuel Tax is a program specifically written to ease the painstaking process of preparing your quarterly fuel taxes. It will work for individual owner operators and small fleets. If you have Microsoft Excel, it can also generate the NY HUT, OR HUT, NMWDT, and KYWDT Report. We are working on the...


Platforms: Windows

Effizientes und einfaches Arbeiten mit unserem Rechnungsprogramm zum erstellen von Rechnungen und der Kassensoftware für Einzelhandel und Gastronomie von KRO4PRO. Die Software beinhaltet alle Funktionen die sie für einen reibungslosen Ablauf ihres täglichen Geschäftes benötigen. Mehr als 10...


Platforms: Windows, Other

JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules. The language combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification...


Platforms: Windows