Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre Ostier
Constrained Symbolic Simulation With Mathematica and ACL2
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Analysis of Economical Models With Mathematica
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SpinDynamica: Symbolic and Numerical Magnetic Resonance in a Mathematica Environment.
Magnetic Resonance in Chemistry
Materials Science
Chemistry
Using Mathematica to Aid Simulation Analysis
Rigorous Simulation of Hybrid Dynamic Systems With Symbolic and Interval Methods
Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding
Error Correcting Codes With Mathematica
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Simulation, Model Checking and Abstraction With Partially Ordered Boolean Functional Vectors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Symbolic Approach to Quantum Computation Simulation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Constant Weight Codes With Package CodingTheory.m in Mathematica
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
