Constrained Symbolic Simulation With Mathematica and ACL2

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-39724-3_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Symbolic Analysis of Economical Models With Mathematica

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

SpinDynamica: Symbolic and Numerical Magnetic Resonance in a Mathematica Environment.

Magnetic Resonance in Chemistry
Materials ScienceChemistry
2017English

Using Mathematica to Aid Simulation Analysis

1995English

Rigorous Simulation of Hybrid Dynamic Systems With Symbolic and Interval Methods

English

Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding

2010English

Error Correcting Codes With Mathematica

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Symbolic Simulation, Model Checking and Abstraction With Partially Ordered Boolean Functional Vectors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Symbolic Approach to Quantum Computation Simulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Constant Weight Codes With Package CodingTheory.m in Mathematica

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy