Filtrer vos résultats
- 36
- 21
- 18
- 16
- 9
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 54
- 25
- 21
- 1
- 3
- 5
- 10
- 10
- 1
- 6
- 4
- 4
- 8
- 2
- 3
- 1
- 57
- 56
- 54
- 54
- 7
- 7
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 11
- 11
- 9
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
57 résultats
|
|
|
triés par
|
|
|
Algorithmic Reduction of Biological Networks with Multiple Time ScalesMathematics in Computer Science, 2021, 15 (3), pp.499 - 534. ⟨10.1007/s11786-021-00515-2⟩
Article dans une revue
hal-03438176v1
|
||
Special IssueAug 2019, Moscow, Russia. Mathematics in Computer Science, Springer, 2021
N°spécial de revue/special issue
hal-03142481v1
|
|||
Computer Algebra in Scientific Computing 2022Mathematics in Computer Science, 17 (3-4), 2023
N°spécial de revue/special issue
hal-03833048v1
|
|||
The SYMBIONT Project: Symbolic Methods for Biological NetworksISSAC 2018, Jul 2018, New York City, NY, United States
Poster de conférence
hal-02397143v1
|
|||
|
|
Thirty Years of Virtual SubstitutionISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209030⟩
Communication dans un congrès
hal-01889817v1
|
||
|
|
Subtropical SatisfiabilityFroCoS 2017 - 11th International Symposium on Frontiers of Combining Systems, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66167-4⟩
Communication dans un congrès
hal-01590899v2
|
||
|
|
Foreword, with a Dedication to Vladimir GerdtMathematics in Computer Science, 2021, 15 (3), pp.369 - 371. ⟨10.1007/s11786-021-00509-0⟩
Article dans une revue
hal-03438175v1
|
||
Special Issue : Symbolic Computation and Satisfiability CheckingJournal of Symbolic Computation, 100, Elsevier, 2020
N°spécial de revue/special issue
hal-03142461v1
|
|||
Computer Algebra in Scientific Computing 2019Mathematics in Computer Science, 15 (2), 2021
N°spécial de revue/special issue
hal-03438907v1
|
|||
|
|
A Case Study on the Parametric Occurrence of Multiple Steady StatesISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
Communication dans un congrès
hal-01648694v1
|
||
|
|
Parametric Toricity of Steady State Varieties of Reaction NetworksCASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.314-333, ⟨10.1007/978-3-030-85165-1_18⟩
Communication dans un congrès
hal-03438168v1
|
||
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages9th International Conference Frontiers of Combining Systems (FroCos 2013), Sep 2013, Nancy, France. pp.56-70, ⟨10.1007/978-3-642-40885-4_5⟩
Communication dans un congrès
istex
hal-00931954v1
|
|||
Better Answers to Real Questions12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Philipp Rümmer and Christoph M. Wintersteiger, Jul 2014, Vienna, Austria. pp.69
Communication dans un congrès
hal-01088456v1
|
|||
|
|
Detection of Hopf bifurcations in chemical reaction networks using convex coordinatesJournal of Computational Physics, 2015, 291, pp.279-302. ⟨10.1016/j.jcp.2015.02.050⟩
Article dans une revue
hal-01239486v1
|
||
|
|
Foreword, with a Dedication to Andreas WeberMathematics in Computer Science, 2021, 15 (2), pp.173 - 175. ⟨10.1007/s11786-020-00476-y⟩
Article dans une revue
hal-03438164v1
|
||
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction CoordinatesCASC 2013 - 15th International Workshop on Computer Algebra in Scientific Computing, Sep 2013, Berlin, Germany. pp.88-99, ⟨10.1007/978-3-319-02297-0_7⟩
Communication dans un congrès
istex
hal-00931946v1
|
|||
|
|
Symbolic computation and satisfiability checking (Editorial)Journal of Symbolic Computation, 2020, 100, pp.1-10. ⟨10.1016/j.jsc.2019.07.017⟩
Article dans une revue
hal-02397190v1
|
||
|
|
Foreword. Special issue on CASC 20222023, pp.22. ⟨10.1007/s11786-023-00565-8⟩
Autre publication scientifique
hal-04307396v1
|
||
|
|
Linear Integer Arithmetic Revisited2015
Pré-publication, Document de travail
hal-03145059v1
|
||
|
|
Verification and synthesis using real quantifier eliminationProc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
Communication dans un congrès
hal-03142063v1
|
||
|
|
First-Order Tests for Toricity2020
Pré-publication, Document de travail
hal-03017907v1
|
||
|
|
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMTSC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01946733v1
|
||
|
|
Positive Solutions of Systems of Signed Parametric Polynomial InequalitiesCASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩
Communication dans un congrès
hal-01889827v1
|
||
Towards Conflict-Driven Learning for Virtual SubstitutionComputer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, 2014, Warsaw, Poland. pp.256-270
Communication dans un congrès
hal-01088450v1
|
|||
Subtropical Real Root FindingProceedings of the 2015 International Symposium on Symbolic and Algebraic Computation, ACM, Jul 2015, Bath, United Kingdom
Communication dans un congrès
hal-01239489v1
|
|||
|
|
A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their ApplicationsMathematics in Computer Science, 2017, 11 (3-4), pp.483 - 502. ⟨10.1007/s11786-017-0319-z⟩
Article dans une revue
hal-01648690v1
|
||
The SYMBIONT project: symbolic methods for biological networksACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩
Article dans une revue
hal-02061018v1
|
|||
|
|
Detection of Hopf bifurcations in chemical reaction networks using convex coordinatesJournal of Computational Physics, 2015, 291, pp.279 - 302. ⟨10.1016/j.jcp.2015.02.050⟩
Article dans une revue
hal-03044741v1
|
||
|
|
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological NetworksCASC 2017 - 19th International Workshop on Computer Algebra in Scientific Computing, Sep 2017, Beijing, China. ⟨10.1007/978-3-319-66320-3⟩
Communication dans un congrès
hal-01648691v1
|
||
|
|
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations2020
Pré-publication, Document de travail
hal-02978976v1
|
- 1
- 2