HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Maple

Publications
Computation of Some Integer Sequences in Maple
W.L. Fan, David J. Jeffrey and Erik Postma
EasyChair Preprint 4
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Jyotirmoy Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker and Yuzhen Xie
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2025 easychair.org. All rights reserved.