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
|
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
|
||
|
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
|
||
|
First-Order Tests for Toricity2020
Pré-publication, Document de travail
hal-03017907v1
|
||
|
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
|
||
|
SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
Communication dans un congrès
hal-01377655v1
|
||
|
ForewordMathematics in Computer Science, 2022, 16 (2-3), pp.16. ⟨10.1007/s11786-022-00533-8⟩
Article dans une revue
hal-03832996v1
|
||
|
The SYMBIONT Project: Symbolic Methods for Biological Networks2018
Autre publication scientifique
hal-01889825v1
|
||
|
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner SystemsCASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.334-352, ⟨10.1007/978-3-030-85165-1_19⟩
Communication dans un congrès
hal-03438171v1
|
||
|
F5: A REDUCE Package for Signature-based Gröbner Basis ComputationCASC 2022 - Computer Algebra in Scientific Computing, Aug 2022, Gezbe, Turkey
Communication dans un congrès
hal-03781962v1
|
||
|
First-Order Tests for ToricityComputer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
Chapitre d'ouvrage
hal-02977488v1
|
||
|
A Generalized Framework for Virtual Substitution2015, pp.17
Autre publication scientifique
hal-01239431v1
|
||
|
Reduction of Chemical Reaction Networks with Approximate Conservation Laws2022
Pré-publication, Document de travail
hal-03934337v1
|
||
|
Satisfiability Checking and Symbolic ComputationACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Article dans une revue
hal-01648695v1
|
||
Linear Integer Arithmetic Revisited25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. pp.623-637
Communication dans un congrès
hal-01239394v1
|
|||
|
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)[Research Report] Dagstuhl. 2013, pp.66--86
Rapport
hal-00824955v1
|
||
|
Deciding First-Order Satisfiability when Universal and Existential Variables are SeparatedLICS 2016, Jul 2016, New York, United States. pp.86 - 95, ⟨10.1145/2933575.2934532⟩
Communication dans un congrès
hal-01389744v1
|
||
|
Efficiently and Effectively Recognizing Toricity of Steady State Varieties2019
Pré-publication, Document de travail
hal-02397107v1
|
||
|
A Computational Approach to Complete Exact and Approximate Conservation Laws of Chemical Reaction Networks2022
Pré-publication, Document de travail
hal-03934350v1
|
||
|
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction NetworksComputer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, pp.492-509, 2020, ⟨10.1007/978-3-030-60026-6_29⟩
Chapitre d'ouvrage
hal-02977486v1
|
||
|
Better answers to real questionsJournal of Symbolic Computation, 2016, 74, pp.255 - 275. ⟨10.1016/j.jsc.2015.07.002⟩
Article dans une revue
hal-01388720v1
|
||
Computer Algebra in Scientific Computing 2022Mathematics in Computer Science, 17 (3-4), 2023
N°spécial de revue/special issue
hal-03833048v1
|
|||
|
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
|
||
The SYMBIONT Project: Symbolic Methods for Biological NetworksISSAC 2018, Jul 2018, New York City, NY, United States
Poster de conférence
hal-02397143v1
|
- 1
- 2