by using Mathematical equations. It's also a "Modeler" for POV-Ray in the
area of parametric surfaces.
Features :
* 3D, 4D, 5D and 6D HyperObjects visualization.
* Full support of all functions (like C language).
* Support of mouse event in the drawing area (Left:Rotate, Right:scale
and Midle:translate).
* Animation an Morph effect.
* Povscript and Mesh file generation(and Run if povray is installed).
VRML2 and OBJ files also supported.
* More than 100 well known examples.
It is based on transforming an expression into a bytecode and precalculating
constant parts of it.
Author: Ingo Berg <ingo_berg@gmx.de>
WWW: http://muparser.sourceforge.net/
PR: ports/93379
Submitted by: Nicola Vitale <nivit@email.it>
PLMan, or Propositional LogicMan, is a user-friendly and powerful
propositional logic (sometimes called sentential logic or
propositional calculus) sentence shell/interpreter written
in Java, capable of handling many existing propositional
systems of propositional logic, especially the important
ones.
Author: Takayuki Hoshi <hoshi103@chapman.edu>
WWW: http://plman.sourceforge.net/
PR: ports/90277
Submitted by: Nicola Vitale <nivit@email.it>
Add a new port for LabPlot, a data analysis and visualisation tool
LabPlot is a program for two- and three-dimensional graphical
presentation of data sets and functions. LabPlot allows you to work
with multiple plots which each can have multiple graphs. The graphs
can be produced from data or from functions.
WWW: http://labplot.sf.net
PR: ports/88256
Submitted by: "Kay Lehmann" <kay_lehmann@web.de>
problems. It uses a coarse-grained parallel genetic algorithm in
combination with other techniques to construct sensible timetables from XML
formatted problem descriptions. Tablix can run on a single host as well as
on a heterogeneous parallel virtual machine using PVM3.
PR: ports/87553
Submitted by: amir husaini <amir.husaini@gmail.com>
majority of integer based number theoretic applications (including
public key cryptography).
PR: ports/85043
Submitted by: Wesley Shields <wxs@csh.rit.edu>
FreeBSD binaries for version 8.3 (i386 only).
Note: does not run on FreeBSD >= 6.0, because linked with libc.so.5.
PR: 84366
Submitted by: thierry
Repocopied by: marcus
provides a natural coordinate-based framework for technical drawing.
Labels and equations are typeset with LaTeX, for high-quality
PostScript output.
A major advantage of Asymptote over other graphics packages is that
it is a programming language, as opposed to just a graphics program:
it can therefore exploit the best features of script (command-driven)
and graphical user interface (GUI) methods.
PR: ports/83990
Submitted by: Nicola Vitale <nivit@email.it>
Most of maxima functions are accessible through menus, some have
dialogs. The input line has command history (up-key, down-key) and
completion based on previous input (tab-key).
wxMaxima provides 2d formated display of maxima output.
PR: ports/83374
Submitted by: Nicola Vitale <nivit@email.it>
complex numbers, calendar dates and various other types, plus symbolic
algebra and calculus, graphics, and lots more. Calc also comes with an
extensive manual which you can print or read on-line.
PR: ports/83238
Submitted by: Andrew Bernard <andrewb@cs.cmu.edu>
beautiful and colorful chryzodes.
If you do not know what chryzodes are, take a look at
http://www.chryzode.org/. Then you will be able to explore
the world of chryzodes by yourself using Chryzodus.
But one does not even need to know much about chryzodes
to use Chryzodus and see beautiful images appear on the screen!
PR: ports/83234
Submitted by: Nicola Vitale <nivit@email.it>
This tiny version of JavaView is optimized for fast download and contains the
viewer module only, without any dialogs, inspectors and geometry algorithms.
The lite version is mainly used to display precomputed geometry models inside
web pages.
WWW: http://www.javaview.de/
PR: 83104
Submitted by: Nicola Vitale <nivit@email.it>
This is a port of Phil Karn's SIMD assisted Viterbi CODEC library. This
package may be useful to programmers working on data communications software.
WWW: http://www.ka9q.net/code/fec/
PR: ports/82757
Submitted by: Thomas Sandford <freebsduser@paradisegreen.co.uk>
This is a port of Phil Karn's Reed-Solomon CODEC library. This package may be
useful to programmers working on data communications software.
WWW: http://www.ka9q.net/code/fec/
PR: ports/82756
Submitted by: Thomas Sandford <freebsduser@paradisegreen.co.uk>
renders them as ASCII art. It may be useful to send mathematics through
text-only media, such as e-mail or newsgroups.
PR: ports/82552
Submitted by: Vsevolod Stakhov <vsevolod@highsecure.ru>
Combinatorics is the branch of mathematics studying the enumeration,
combination, and permutation of sets of elements and the mathematical
relations that characterize their properties. As a jumping off point,
refer to:
http://mathworld.wolfram.com/Combinatorics.html
This module provides a pure-perl implementation of nCk, nPk, and n!
(combination, permutation, and factorial, respectively).
Author: Allen Day <allenday@ucla.edu>
WWW: http://search.cpan.org/dist/Math-Combinatorics/
PR: ports/81572
Submitted by: Aaron Dalton <aaron@daltons.ca>
Functions for calculations with arbitrary length integers and bitsets
Functions from this package are useful for number theory
applications. For example, in two-keys cryptography.
PR: ports/81115
Submitted by: Antonio Carlos Venancio Junior <antonio@php.net>
The purpose of QtiPlot was to develop a free, platform independent clone of
Origin. The result is still far away from its model, but there's a "wish to"
list that is being constantly worked on.
Features:
* Neat 2D and 3D data plotting
* ASCII-Import
* Spreadsheet and calculations in column-logic
* Great non-linear y=f(x) curve fitting and estimation of statistical
errors of the fit-parameters
WWW: http://soft.proindependent.com/qtiplot.html
PR: ports/80849
Submitted by: Jie Gao <gaoj@cpsc.ucalgary.ca>
datastructures. It allows building of directed and undirected graphs, with
data and metadata stored in nodes. The library provides functions for graph
traversing as well as for characteristic extraction from the graph topology.
PR: ports/78624
Submitted by: Antonio Carlos Venancio Junior <antonio@php.net>
Thus, it includes several shapes (boxes, balls, lines), in addition to the
basic math objects that are used to build these shapes (points, vectors,
matricies).
PR: ports/77046
Submitted by: jannisan@t-online.de (Jan Rochel)
statistics components addressing the most common problems not available in the
Java programming language or Commons Lang.
WWW: http://jakarta.apache.org/commons/math/
standard distribution contains tool collections for the algorithmic treatment
of polytopes and polyhedra, and finite simplicial complexes. It offers an
unified interface to a wide variety of algorithms and free software packages
from the computational geometry field, such as convex hull computation or
visualization tools.
PR: ports/75405
Submitted by: Ewgenij Gawrilow <gawrilow@math.TU-Berlin.DE>
Fast C routines (Single Percision)
FFTW is a C subroutine library for computing the Discrete Fourier Transform
(DFT) in one or more dimensions, of both real and complex data, and of
arbitrary input size. We believe that FFTW, which is free software, should
become the FFT library of choice for most applications. Our benchmarks,
performed on a variety of platforms, show that FFTW's performance is
typically superior to that of other publicly available FFT software.
Moreover, FFTW's performance is portable: the program will perform well on
most architectures without modification.
The FFTW package was developed at MIT by Matteo Frigo and Steven G.
Johnson. Please send email to fftw@theory.lcs.mit.edu so that we can keep
track of users and send you information about new releases. The latest
version of FFTW, benchmarks, links, and other information can be found at
the FFTW home page
PR: ports/71271
Approved by: pav (co mentor)
mechanically checked by the machine.
In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".
PR: ports/72718
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
It is small and simple to use but with much power and
versatility underneath. Features include customizable
functions, units, arbitrary precision, plotting, and
a user-friendly interface.
PR: ports/68979
Submitted by: Sergey Akifyev <asa@gascom.ru>
If you want to convert from inches per decade, that's fine. Or from
meter-pounds. Or from cubic nautical miles. The units don't have to
make sense to anyone else.
PR: ports/71081
Submitted by: Michael Johnson <ahze@ahze.net>
LAPACK95 is a Fortran 95 interface to the Fortran 77 LAPACK library.
It improves upon the original user-interface to the LAPACK package,
taking advantage of the considerable simplifications which
Fortran 95 allows. The design of LAPACK95 exploits assumed-shape arrays,
optional arguments, and generic interfaces. The Fortran 95 interface
has been implemented by writing Fortran 95 ``wrappers'' to call
existing routines from the LAPACK package. This interface can persist
unchanged even if the underlying Fortran 77 LAPACK code is rewritten to
take advantage of the new features of Fortran 95.
basecalc came with Xlib Programming Manual from O'Reilly as an
example of X lib programming. mbasecalc is an immitation of basecalc
which is available on different platforms.
PR: ports/67993
Submitted by: Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
- Remove math/R-a4 slave port. A4 format is now default. If you need letter
or other paper formats, define PAPERSIZE when building the port.
Note that renaming to math/R was declined by marcus (portmgr) because
we're not sure if single-letter port name break something.
Requested by: maintainer
Repocopy by: marcus
is a parallel version of the SDPA (math/sdpa).
solving SDPs in parallel with the help of MPI
(Message Passing Interface) and ScaLAPACK (Scalable LAPACK).
