Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: VEGA computer algebra system


Related Topics

In the News (Mon 30 Nov 09)

  
  Vega (disambiguation)   (Site not responding. Last check: 2007-09-16)
Vega Alta and Vega Baja are municipalities in Puerto Rico
VEGA computer algebra system is meant for manipulating discrete mathematics in Mathematica
Vega, Haninge, Sweden is a town in the municipality of Haninge in Sweden
www.worldhistory.com /wiki/V/Vega-(disambiguation).htm   (313 words)

  
 Combinatorial Software
GAP: is a free system for computational discrete algebra.
Vega: is a system for manipulating discrete mathematical structures.
GRAPE: written in GAP and C by Leonard Soicher, is a system for computing with graphs, and is primarily designed for constructing and analysing graphs related to groups, finite geometries, and designs.
www.mat.univie.ac.at /~slc/divers/software.html   (2130 words)

  
 math lessons - Computer algebra system
The study of algorithms useful for computer algebra systems is known as computer algebra.
The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as MATLAB, GNU Octave, or directly in C, since they are programmed for full symbolic generality and thus cannot use machine numerical operations directly.
Computer algebra systems began to appear in the early 1970s, and evolved out of research into artificial intelligence, though the fields are now regarded as largely separate.
mathdaily.com /lessons/Computer_algebra_system   (384 words)

  
 iqexpand.com   (Site not responding. Last check: 2007-09-16)
VEGA computer algebra system Vega is information system info manipulating discrete mathematical structures.
VEGA computer algebra system Vega is a system for manipulating discrete mathematical structures.
VEGA computer algebra system [Categories: Computer algebra systems] Vega is a (additional info and facts about computer algebra system) computer algebra system (CAS) for manipulating (additional info...
vega_computer_algebra_system.iqexpand.com   (406 words)

  
 Axiom computer algebra system -- Facts, Info, and Encyclopedia article   (Site not responding. Last check: 2007-09-16)
Axiom is a (additional info and facts about computer algebra system) computer algebra system.
It is useful for research and development of mathematical algorithms for which it defines a strongly typed, mathematically correct type hierarchy.
Originally developed by researchers at (additional info and facts about IBM) IBM under the name Scratchpad, Axiom has been in development since 1973, and although it was formerly a commercial product, it is now (additional info and facts about open-source) open-source and (additional info and facts about free software) free software.
www.absoluteastronomy.com /encyclopedia/a/ax/axiom_computer_algebra_system.htm   (185 words)

  
 IBFI Schloss Dagstuhl - Dagstuhl Seminar 03021   (Site not responding. Last check: 2007-09-16)
This notion unifies some attempts to connect proof systems and computer algebra systems, that were the topic of the talks of Loic Pottier and David Delaye.
The idea is roughly that computer algebra should communicate mathematical data together with a certificate, which represents the information needed to complete a proof of correctness of the mathematical data.
This equality is perfectly valid from the computer algebra viewpoint, since it is interpreted in the field of rational expressions (field of fractions of a polynomial ring).
www.dagstuhl.de /03021   (1778 words)

  
 BibTeX bibliography red-m-z.bib   (Site not responding. Last check: 2007-09-16)
Many algebraic computing systems have been developed in a variety of research fields.
Six Lectures on the Application of Computer Algebra", editor = "D. Stauffer and F. Hehl and V. Winkelmann and J. Zabolitzky", booktitle = "Computer Simulation and Computer Algebra.
The proposed improved technique results in a substantial increase in the computational efficiency by using automatic symbolic manipulation to generate explicit equations of motion algebraically prior to numerical integration.", } @Article{Wood:89, author = "John C. Wood", title = "Harmonic Two Spheres in the Unitary Group", year = "1989", journal = "Proc.
www.math.utah.edu /pub/tex/bib/red-m-z.html   (1776 words)

  
 ijcame vol 6
Teaching using computer algebra systems (CAS) enables us to give students access to harder, more life-like, problems; if a CAS is directed appropriately (for example getting DERIVE to add a value to both sides of an equation, or perform an integration), the learner can find solutions even if they cannot themselves perform the underlying manipulations.
Assumptions of the benefit of Computer Algebra Systems are often based on a strong separation between the technical work and the conceptual reflection in the learning of mathematics.
This is motivated by the fact that a Computer Algebra system obliges the user to deal with numbers (exact or floating point), mathematical objects (and their representation through convenient data structures), iterative and recursive procedures, etc. The advantages and disadvantages of this approach to the teaching of linear Algebra are also highlighted.
www.tech.plym.ac.uk /maths/ctmhome/ijcame_vol6.htm   (2443 words)

  
 VEGA computer algebra system -- Facts, Info, and Encyclopedia article   (Site not responding. Last check: 2007-09-16)
VEGA computer algebra system -- Facts, Info, and Encyclopedia article
Vega is a (additional info and facts about computer algebra system) computer algebra system (CAS) for manipulating (additional info and facts about discrete) discrete (additional info and facts about mathematical) mathematical structures in (additional info and facts about Mathematica) Mathematica.
The ongoing project is located under mentorship of (additional info and facts about Tomaž Pisanski) Tomaž; Pisanski at the Department of Theoretical Computer Science at (additional info and facts about IMFM) IMFM at (additional info and facts about University of Ljubljana) University of Ljubljana.
www.absoluteastronomy.com /encyclopedia/v/ve/vega_computer_algebra_system3.htm   (94 words)

  
 Category:Computer algebra systems - Wikipedia, the free encyclopedia
A computer algebra system (CAS) or symbolic computation system is a system of software packages that facilitates symbolic mathematics.
symbolic manipulation engine, to simplify algebraic expressions, differentiate and integrate functions and solve equations
linear algebra subsystem, to allow matrix computations and solving of systems of linear equations
en.wikipedia.org /wiki/Category:Computer_algebra_systems   (175 words)

  
 VEGA computer algebra system - Wikipedia, the free encyclopedia
Vega is a computer algebra system (CAS) for manipulating discrete mathematical structures in Mathematica.
The ongoing project is located under mentorship of Tomaž Pisanski at the Department of Theoretical Computer Science at IMFM at University of Ljubljana.
This page was last modified 14:53, 1 May 2005.
en.wikipedia.org /wiki/VEGA_computer_algebra_system   (72 words)

  
 The Language List - Version 2.4, January 23, 1995
Systems language for IBM 7090 and 360, an extension of ALGOL-60 with records ("plexes"), pointers, and dynamic allocation.
British systems language, a descendant of CPL and the inspiration for B and C. BCPL is low-level, typeless and block-structured, and provides only one-dimensional arrays.
This system was widely used in the Soviet Union, and produced an Ada to Diana compiler.
www.informatik.uni-freiburg.de /Java/misc/lang_list.html   (16100 words)

  
 ACA'99 Sessions
Computer Algebra for Dynamical Systems and Mechanics II
A new classification of planar homogeneous quadratic systems
Computation of Normal Forms of Hamiltonian Systems in the Presence of Poisson Commuting integrals (Liouville-Integrability and Birkhoff Normal Forms)
www.math.unm.edu /ACA/1999/Proceedings/Sessions.html   (1017 words)

  
 ACA'98 Sessions
Computation of Approximate Polynomial Gcds and an Extension
Computer Algebra of Vector Bundles and Complex Foliations of Polynomial Dynamical Systems
Simplifications of Tensor Expressions and Computations with Kerr-Schild Metrics
www.math.unm.edu /ACA/1998/sessions.html.old   (1113 words)

  
 Computer Physics Communications.   (Site not responding. Last check: 2007-09-16)
A.J. Roberts, Computer algebra derives correct initial conditions for low-dimensional dynamical models, Computer Physics Communications 126 (3) (2000) pp.
Martin, L.M. Robledo, Numerical and symbolic calculation of the multipole matrix elements in the axial and triaxial harmonic oscillator basis, Computer Physics Communications 99 (1) (1996) pp.
Aray, J. Rodriguez, D. Vega, An implementation of the atoms in molecules theory to the FPLAPW method, Computer Physics Communications 143 (3) (2002) pp.
www.elsevier.com /cdweb/journals/00104655/viewer.htt?viewtype=authors&rangeselected=141   (680 words)

  
 Towards New Math Correctness Standards for Computer Algebra Systems - 2
In fact, during 1998-02 I developed a technology of automated computer algebra systems testing (not published yet.) With the help of it I was able during 26 days in February'02 pointed out SciFace, Inc (www.mupad.com) some 350 problems in MuPAD.
2-7 showed that your system was rather reliable and accurate, thus, most probably, I would be only able to find some 100-200 problems up to, say, May 10 (remember, you would need time to fix them).
As far as I know, Maple 8 is coming in the late May, and probably the beta testing of it is still continuing.
www.talkabouteducation.com /group/sci.edu/messages/26744.html   (778 words)

  
 A Survey of User Interfaces for Computer Algebra Systems - Kajler, Soiffer (ResearchIndex)   (Site not responding. Last check: 2007-09-16)
Abstract: This paper surveys work within the Computer Algebra community (and elsewhere) directed towards improving user interfaces for scientific computation during the period 1963--1993.
This paper is intended to be useful to two groups of people: those who wish to know what work has been done and those who would like to do work in the field.
2 Representation of Inference in Computer Algebra Systems with..
citeseer.ist.psu.edu /kajler95survey.html   (1732 words)

  
 Towards New Math Correctness Standards for Computer Algebra Systems - 7
- - - [...skipped...see the previous postings] - - - I would hope, this, so-to-say, large-scale computational - approach, that is running Maple around the clock would almost - certainly reveal soon more than one new problem (as it was - with Mathematica).
Since then, my (pleasant) experience with Maple - has convinced myself that your symbolic computer algebra system - is rather reliable - and could be improved, too.
Towards New Math Correctness Standards for Computer Algebra Syst
www.talkabouteducation.com /group/sci.edu/messages/27012.html   (621 words)

  
 Applied Algebra, Algebraig Algorithms and Error-Correcting Codes
On the Invariants of the Quotients of the Jacobian of a Curve of Genus 2
Computation of the Galois Groups of the Resolvent Factors for the Direct and Inverse Galois Problems
Systems of Algebraic Equations Solved by Means of Endomorphisms
wotan.liu.edu /docis/dbl/aaecca   (2937 words)

  
 SpringerLink - Volume
Title: Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005.
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots
Nouvelle Cuisine for the Computation of the Annihilating Ideal of f
www.springerlink.com /openurl.asp?genre=issue&issn=0302-9743&volume=3718   (286 words)

  
 The Ezine DOT Net   (Site not responding. Last check: 2007-09-16)
Keep your computer protected, your well being may depend on it.
Most Internet users recognize the need of protecting their computers against viruses, as the vast majority of us sooner or later become painfully aware of these nasty little programs when they shut down our PC, spam our mailbox or delete our files.
Spyware will take control of parts of your computer without your knowledge or consent.
www.theezine.net /v/vega-computer-algebra-system.html   (568 words)

  
 Berichte von Konferenzen
Cafaro, B. Paternoster: Analysis of Stability of Rational Approximations Through Computer Algebra, Sergey Gutnik: Symbolic-numeric Investigations for Stability Analysis of Satellite Systems, Vladimir V. Kornyak: Cohomology of Lie Suberalgebras of Hamiltonian Vector Fields: Computer Analysis, R.
Eichenmueller: symbolic Computation of Formal Solutions for 2 and 3 Dimensional Dynamical Systems, Driss Boularas: A new classification of planar homogeneous quadratic systems, J.
Session: Computer Algebra for Dynamical Systems and Mechanics II/ Victor Edneral, Ilias Kotsireas, Nikolay Vasiliev Ilias Kotsireas: Computational aspects of the N-body problem, B.
www.fachgruppe-computeralgebra.de /CAR/CAR25/node4.html   (1839 words)

  
 [No title]
This document is intended to become one of the longest lists of computer programming languages ever assembled (or compiled).
"ACTORS: A Model of Concurrent Computation in Distributed Systems", Gul A. Agha, Cambridge Press, MA, 1986.
Versions for most Unix systems available commercially from AT&T. Extension of C with asynchronous message passing.
www.cs.uiowa.edu /~fleck/lang-list.txt   (15872 words)

  
 Adrian Ulises Soto Home Page   (Site not responding. Last check: 2007-09-16)
A very easy interface It has access to computer algebra systems such as Maxima, Maple, and many others.
maxima A computer algebra system similar to Mathematica or Maple.
The difference is that this one is free, GPL, for GNU/Linux, Unix, Windows, Mac, and has nice interfaces with, say, texmacs.
www.math.montana.edu /~soto/personal.html   (617 words)

  
 THQ Wireless inks Star Wars deal from Guardian Unlimited: Gamesblog
I got a camera phone when a mate was done with it, and if I want anything as a wallpaper I just bring it up on my computer, turn down the brightness to avoid the lines across the screen in the image and take a shot of it, and they all turn out pretty good.
My point was that the average person who downloads wallpapers and ringtones is probably computer illiterate.
I think anyone who's made it to this page has a semi decent grasp on using a computer.
blogs.guardian.co.uk /games/archives/2004/12/10/thq_wireless_inks_star_wars_deal.html   (709 words)

  
 No Title
This conference is supported by The Ministry of Education of Czech Republic (Project PG 98213).
On the Computation of the Greatest Common Divisor of Multivariate Polynomials with Straight-Line Programs
Symbolic Computation of the Periodic Solutions of the Barbanis-Contopoulos System by the Lindstedt-Poincare method
www-troja.fjfi.cvut.cz /aca98/program   (1127 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.