Related:
Symbolic
- Symbolic Painting
- Symbolic Images
- Symbolic Artistry
- Symbolic Motor
Sponsored Links:
Symbolic Computation Group (Popularity:  )
(Score: 25.82)
http://www.scg.uwaterloo.ca/
University of Waterloo, Canada. Covers both symbolic computation and hybrid symbolic-numeric computation.
Category:
Main\Computers\Algorithms\Computational Algebra\Research Groups
|
Symbolic Computation Group, University of Waterloo (Popularity: )
(Score: 23.72)
http://www.scg.uwaterloo.ca/
Research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computation. The algorithms developed are incorporated into the Maple computer algebra system. Publications, software, meetings ...
Category:
Main\Science\Math\Software\Maple
|
Programming and Symbolic Computation Team (Popularity: )
(Score: 21.74)
http://www.unirioja.es/dptos/dmc/psycotrip
Department of Mathematics and Computer Science, University of La Rioja, Logroño, Spain. Research has been focused on the design, specification and construction of symbolic computation systems for Algebraic Topology.
Category:
Main\Computers\Algorithms\Computational Algebra\Research Groups
|
International Conference on Artificial Intelligence and Symbolic Computation (AISC) (Popularity: )
(Score: 19.10)
http://www.risc.uni-linz.ac.at/conferences/aisc2004/
2004, September 22-24, Linz, Austria. Symbolic AI.
Category:
Main\Computers\Artificial Intelligence\Conferences and Events\Past Conferences and Events
|
Journal of Symbolic Computation (Popularity: )
(Score: 18.38)
http://www.elsevier.com/locate/issn/0747-7171
(Academic Press) A forum for research in the algorithmic treatment of all types of symbolic objects. Tables of contents from vol.15 (1993). Full text to subscribers.
Category:
Main\Computers\Algorithms\Publications\Journals
|
Journal of Symbolic Computation (Popularity: )
(Score: 17.15)
http://www.cis.udel.edu/~caviness/jsc.html
Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects.
Category:
Main\Computers\Computer Science\Publications\Journals
|
Waterloo, University of (Popularity: )
(Score: 16.07)
http://www.math.uwaterloo.ca/CS_Dept/homepage.html
Department of Computer Science. Research areas include algorithms and complexity, artificial intelligence, computer graphics, databases, distributed systems, programming languages, scientific computation, software engineering, symbolic computation, text ...
Category:
Main\Computers\Computer Science\Academic Departments\North America
|
meditor (Popularity: )
(Score: 15.63)
http://jscl-meditor.sourceforge.net/
A text editor with some symbolic computation capabilities. Free under GPL.
Category:
Main\Science\Math\Software\Typesetting
|
PARLANSE (Popularity: )
(Score: 15.47)
http://www.semdesigns.com/Products/Parlanse/index.html
A parallel programming language supporting symbolic computation on SMP workstations.
Category:
Main\Computers\Parallel Computing\Programming\Languages
|
ISSAC'98 (Popularity: )
(Score: 15.15)
http://wwwteo.informatik.uni-rostock.de/ISSAC98/
International Symposium on Symbolic and Algebraic Computation. Rostock, Germany; 13--15 August 1998.
Category:
Main\Computers\Algorithms\Computational Algebra\Conferences
|
Journal of Symbolic Computation (Popularity: )
(Score: 15.15)
http://www4.ncsu.edu/~hong/jsc.htm
Editor's site. Author information, calls for special issues.
Category:
Main\Science\Math\Publications\Journals
|
Journal of Symbolic Computation (Popularity: )
(Score: 14.99)
http://www.sciencedirect.com/science?_ob=JournalURL&_cdi=6927&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=489725ce27bbda65b231875ab320f436
(Elsevier) Table of contents and abstracts from vol.15 (1993). Full text to subscribers.
Category:
Main\Science\Math\Publications\Journals
|
SNSC'01 (Popularity: )
(Score: 14.84)
http://www.risc.uni-linz.ac.at/conferences/snsc01/
Conference on Symbolic and Numeric Computation. RISC-Linz, Schloss Hagenberg, Austria; 12--14 September 2001.
Category:
Main\Computers\Algorithms\Computational Algebra\Conferences
|
SNC 2005 (Popularity: )
(Score: 14.21)
http://www-calfor.lip6.fr/~wang/SNC2005/
International workshop on Symbolic-Numeric Computation. Xi'an, China; 19--21 July 2005.
Category:
Main\Science\Math\Numerical Analysis\Events
|
Anthony C. Hearn (Popularity: )
(Score: 13.99)
http://www.rand.org/contact/personal/hearn/
Resident consultant at RAND; research work includes symbolic and algebraic computation (especially REDUCE), scientific software, digital publication and computer networks.
Category:
Main\Computers\Algorithms\Computational Algebra\Research Groups
|
ECCAD03 (Popularity: )
(Score: 13.99)
http://www.math.clemson.edu/~sgao/ECCAD03/
East Coast Computer Algebra Day: a series of annual one day conferences on symbolic and mathematical computation. Clemson University, South Carolina, USA; Saturday 5 April 2003.
Category:
Main\Computers\Algorithms\Computational Algebra\Conferences
|
PyGiNaC (Popularity: )
(Score: 13.95)
http://cens.ioc.ee/projects/pyginac/
A Python interface to the C++ library GiNaC (an open framework for symbolic computation within the C++ programming language). [Open Source, LGPL]
Category:
Main\Computers\Programming\Languages\Python
|
Tsukuba SCORE (Popularity: )
(Score: 13.95)
http://www.score.is.tsukuba.ac.jp/
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
Category:
Main\Computers\Programming\Languages\Functional
|
Scott, Dana (Popularity: )
(Score: 13.95)
http://www.cs.cmu.edu/~scott/
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
Category:
Main\Science\Math\Logic and Foundations\People
|
Ontario Research Center for Computer Algebra (Popularity: )
(Score: 13.86)
http://www.orcca.on.ca/
Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and postdocs are hosted.
Category:
Main\Computers\Computer Science\Research Institutes
|
Search sci.math.symbolic (Popularity: )
(Score: 13.83)
http://mathforum.org/discussions/epi-search/sci.math.symbolic.html
Teachers and students of symbolic mathematics will find others who share their interests at the sci.math.symbolic discussion list.
Category:
Main\Science\Math\Software
|
FRISCO - A Framework for Integrated Symbolic/Numeric Computation (Popularity: )
(Score: 13.67)
http://www.nag.co.uk/projects/FRISCO.html
The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users.
Category:
Main\Science\Math\Algebra\Software
|
Maxima for Symbolic Computation Program (Popularity: )
(Score: 13.67)
http://www.ma.utexas.edu/users/wfs/maxima.html
Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra, released under the GNU Public License.
Category:
Main\Science\Math\Software
|
SymbolicNet (Popularity: )
(Score: 13.47)
http://www.SymbolicNet.org/
Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory.
Category:
Main\Science\Math\Algebra\Software
|
Codemist Ltd (Popularity: )
(Score: 13.37)
http://www.codemist.co.uk/
Software provider in compilers and symbolic computation. The main products are the Norcroft C compiler and the computer algebra system Reduce, together with the Lisp system CSL/CCL. Demo versions available free for download.
Category:
Main\Science\Math\Software\Companies
|
ASL Typesetting Office (Popularity: )
(Score: 12.76)
http://www.math.ucla.edu/~asl/
TeX files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic and the Lecture Notes in Logic. Document class, bibtex style and documentation (PS).
Category:
Main\Science\Math\Publications\Style Files
|
Schreiner, Wolfgang (Popularity: )
(Score: 12.62)
http://www.risc.uni-linz.ac.at/people/schreine/
Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
Category:
Main\Computers\Computer Science\People\S
|
2nd European Conference on Cognitive Modelling 1998 (Popularity: )
(Score: 12.18)
http://ritter.ist.psu.edu/papers/youngR99.pdf
Covers all areas of cognitive modelling, including symbolic and connectionist models, evolutionary computation, artificial neural networks, grammatical inference, reinforcement learning, and data sets designed to test models.
Category:
Main\Science\Social Sciences\Psychology\Cognitive
|
Math Symbolic Library (Popularity: )
(Score: 12.14)
http://www.cdrnet.net/projects/nmath/
Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource]
Category:
Main\Science\Math\Algebra\Software
|
Research Institute for Symbolic Computation (RISC-Linz) (Popularity: )
(Score: 11.97)
http://www.risc.uni-linz.ac.at/
An institute of the Johannes Kepler University in Linz, Austria, founded in 1987 by Prof. Bruno Buchberger. Research focuses on the interaction and integration of mathematics and computer science. Site has project descriptions, publications, courses ...
Category:
Main\Computers\Algorithms\Computational Algebra\Research Groups
|
Computation (Popularity: )
(Score: 11.76)
http://www.computation.to
Computation provides free computer and toner recycling services to the greater Toronto area.
Category:
Main\Business\Energy and Environment\Waste Management\Recycling
|
Publications ( Moshe Sipper ) (Popularity: )
(Score: 11.61)
http://lslwww.epfl.ch/~moshes/papers.html
Interesting papers on evolutionary computation and on computation in artificially evolved, non-uniform cellular automata.
Category:
Main\Science\Math\Applications\Information Theory
|
Mayer, Helmut A. (Popularity: )
(Score: 11.61)
http://www.cosy.sbg.ac.at/~helmut/helmut.html
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
Category:
Main\Computers\Computer Science\People\M
|
Common Lisp: A Gentle Introduction to Symbolic Computation (Popularity: )
(Score: 11.31)
http://www-2.cs.cmu.edu/~dst/LispBook/
This book provides a very good introduction to the Lisp programming language for beginners. Even if you have never before programmed in any language you will be able to use this book. Although it is aimed at beginners it covers all relevant Lisp topics ...
Category:
Main\Computers\Programming\Languages\Lisp
|
InnoLogic Symbolic Simulation (Popularity: )
(Score: 11.30)
http://www.innologic-systems.com
ESP is an event driven Verilog symbolic simulator. ESP increases functional coverage and reduces verification runtime. ESP is ideal for memory and block level verification.
Category:
Main\Science\Technology\Electronics\CAD
|
Journal of Symbolic Logic (Popularity: )
(Score: 11.10)
http://www.aslonline.org/journals-journal.html
Official organ of the Association of Symbolic Logic.
Category:
Main\Science\Math\Logic and Foundations\Publications
|
Genetic and Evolutionary Computation Conference (GECCO) (Popularity: )
(Score: 11.01)
http://www.isgec.org/GECCO-2002
2002, July 9-13, New York City, USA. For researchers and practitioners of all branches of evolutionary computation
Category:
Main\Computers\Artificial Intelligence\Conferences and Events\Past Conferences and Events
|
Woods, Damien (Popularity: )
(Score: 11.01)
http://www.cs.may.ie/~dwoods/
National University of Ireland, Maynooth - Models of computation, in particular models of analog (and real) computation.
Category:
Main\Computers\Computer Science\People\W
|
Carnegie Mellon University (Popularity: )
(Score: 11.01)
http://www.hss.cmu.edu/departments/philosophy/
Department of Philosophy - Pittsburgh, Pennsylvania - BA, MA, MS (Logic and Computation), PhD (Logic, Computation, and Methodology)
Category:
Main\Society\Philosophy\Academic Departments\North America
|
Symbolic Regression Applet (Popularity: )
(Score: 10.95)
http://www.potschi.de/sr/
Contains a Java Applet for symbolic regression using GP. It allows the import of data and the export of the resulting equations to spreadsheet applications like Excel.
Category:
Main\Computers\Artificial Intelligence\Genetic Programming
|
