|
Software and Tools for Electrical Education (Popularity: )
http://www.thelearningpit.com/
Supplier of software-based PLC and Ladder Logic Simulators, Animated Process Simulations, and course materials for electrical training and educational programs. Includes National Electrical Code training, as well.
Category:
Science - Technology - Electrical Engineering - Education
|
|
Association for Informal Logic and Critical Thinking (AILACT) (Popularity: )
http://ailact.mcmaster.ca/
A non-profit scholarly association which aims to promote research into, teaching of, and testing of informal logic and critical thinking.
Category:
Science - Science in Society - Skeptical Inquiry - Critical Thinking
|
|
Answering Mathematics Helper (Popularity: )
http://www.answermath.com/
Exercise tool to practice addition, subtraction, multiplication, division, trigonometry and fuzzy logic problems.
Category:
Science - Math - Education
|
|
DC Proof Online (Popularity: )
http://www.dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
Category:
Science - Math - Logic and Foundations - Software
|
|
International Federation for Computational Logic (IFCoLog) (Popularity: )
http://www.ifcolog.org/
A federation of societies and groups active in computational logic.
Category:
Science - Math - Logic and Foundations - Organizations
|
|
Related:
Symbolic
- Symbolic Computation
- Symbolic Importance
- Symbolic Lodges
- Symbolic Jewelry
(Netherlands) Amsterdam (Popularity: )
http://www.illc.uva.nl/
Institute for Logic, Language and Computation.
Category:
Science - Math - Logic and Foundations - Institutions
|
|
(Russia) St. Petersburg (Popularity: )
http://logic.pdmi.ras.ru/
Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
Category:
Science - Math - Logic and Foundations - Institutions
|
|
(Austria) University of Vienna (Popularity: )
http://www.logic.univie.ac.at/
Department of Formal Logic.
Category:
Science - Math - Logic and Foundations - Institutions
|
|
The Logic Daemon (Popularity: )
http://logic.tamu.edu/
On-line proof checker, and texts.
Category:
Science - Math - Logic and Foundations - Education
|
|
Syllogistic logic online (Popularity: )
http://aristotelianlogic.glashoff.net
This site contains an online program for studying Aristotle's syllogistic logic. The theory of Aristotle's ancient logic is also presented.
Category:
Science - Math - Logic and Foundations - History
|
|
Logic Journal of the IGPL (Popularity: )
http://jigpal.oupjournals.org/
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
Category:
Science - Math - Logic and Foundations - Publications
|
|
VisualMath For Java (Popularity: )
http://www.drhuang.com
An online symbolic math and computer algebra system.
Category:
Science - Math - Software
|
|
MuPAD (Popularity: )
http://www.mupad.de/
Open computer algebra system for symbolic and numerical computations. Library routines for linear algebra, integration, polynomials, and graphics. Can generate and be called from C or Fortran code. Free download by FTP for personal research purposesrequires ...
Category:
Science - Math - Software - MuPAD
|
|
The MathWorks (Popularity: )
http://www.mathworks.com/
Developers of MATLAB, Simulink and Stateflow. The MathWorks offers a set of integrated products for data analysis, visualization, application development, simulation, design, and code generation.
Category:
Science - Math - Software - MATLAB
|
|
Mathematical statistics with Mathematica (Popularity: )
http://www.mathStatica.com
mathStatica solves the algebraic / symbolic problems that are of primary interest in mathematical statistics. It does so by building upon the symbolic computational power of Mathematica.
Category:
Science - Math - Software - Mathematica
|
|
Symbolic Computation Group, University of Waterloo (Popularity: )
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:
Science - Math - Software - Maple
|
|
SymbolicNet (Popularity: )
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:
Science - Math - Algebra - Software
|
|
The MathWorks: Developers of MATLAB and Simulink for Technical Computing (Popularity: )
http://www.mathworks.com/
MATLAB is an integrated technical computing environment that combines numeric computation, advanced graphics and visualization, and a high-level programming language.
Category:
Science - Software - Simulation
|
|
Frehnig (Popularity: )
http://www.frehnig.com
Manufacturers of flow meters, electronic instruments and logic controllers with networking. From India.
Category:
Business - Electronics and Electrical - Instrumentation
|
|
Penmar Automation Inc. (Popularity: )
http://www.penmarautomation.com/
Automation and electrical controls including robots, programmable logic and motion controls, hydraulics and pneumatics.
Category:
Business - Electronics and Electrical - Control Systems - Industrial
|
|