Login / Signup
Stephen Forrest
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 6
Top Topics
Analytical Models
European Union
Join Operations
Inverse Dynamics
Top Venues
CoRR
ARCADE@CADE
CICM
ACM Commun. Comput. Algebra
</>
Publications
</>
Erika Ábrahám
,
John Abbott
,
Bernd Becker
,
Anna Maria Bigatti
,
Martin Brain
,
Alessandro Cimatti
,
James H. Davenport
,
Matthew England
,
Pascal Fontaine
,
Stephen Forrest
,
Vijay Ganesh
,
Alberto Griggio
,
Daniel Kroening
,
Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces.
ARCADE@CADE
(2017)
Stephen Forrest
Integration of SMT-LIB Support into Maple.
SC²@ISSAC
(2017)
Erika Ábrahám
,
John Abbott
,
Bernd Becker
,
Anna Maria Bigatti
,
Martin Brain
,
Bruno Buchberger
,
Alessandro Cimatti
,
James H. Davenport
,
Matthew England
,
Pascal Fontaine
,
Stephen Forrest
,
Alberto Griggio
,
Daniel Kroening
,
Werner M. Seiler
,
Thomas Sturm
Satisfiability Checking meets Symbolic Computation (Project Paper).
CoRR
(2016)
Erika Ábrahám
,
John Abbott
,
Bernd Becker
,
Anna Maria Bigatti
,
Martin Brain
,
Bruno Buchberger
,
Alessandro Cimatti
,
James H. Davenport
,
Matthew England
,
Pascal Fontaine
,
Stephen Forrest
,
Alberto Griggio
,
Daniel Kroening
,
Werner M. Seiler
,
Thomas Sturm
Satisfiability Checking and Symbolic Computation.
CoRR
(2016)
Erika Ábrahám
,
John Abbott
,
Bernd Becker
,
Anna Maria Bigatti
,
Martin Brain
,
Bruno Buchberger
,
Alessandro Cimatti
,
James H. Davenport
,
Matthew England
,
Pascal Fontaine
,
Stephen Forrest
,
Alberto Griggio
,
Daniel Kroening
,
Werner M. Seiler
,
Thomas Sturm
Satisfiability checking and symbolic computation.
ACM Commun. Comput. Algebra
50 (4) (2016)
Erika Ábrahám
,
John Abbott
,
Bernd Becker
,
Anna Maria Bigatti
,
Martin Brain
,
Bruno Buchberger
,
Alessandro Cimatti
,
James H. Davenport
,
Matthew England
,
Pascal Fontaine
,
Stephen Forrest
,
Alberto Griggio
,
Daniel Kroening
,
Werner M. Seiler
,
Thomas Sturm
: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
CICM
(2016)
Sebastian J. I. Herzig
,
Nicolas F. Rouquette
,
Stephen Forrest
,
J. Steven Jenkins
Integrating Analytical Models with Descriptive System Models: Implementation of the OMG SyML Standard for the Tool-specific Case of MapleSim and MagicDraw.
CSER
(2013)