default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Symbolic Computation, Volume 100

> Home > Journals > Journal of Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 100, September 2020

Symbolic Computation and Satisfiability Checking

- view
  authority control:
- export record
  dblp key:
  - journals/jsc/DavenportEGST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DavenportEGST20
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli:
Symbolic computation and satisfiability checking. 1-10
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/KremerA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/KremerA20
Gereon Kremer, Erika Ábrahám:
Fully incremental cylindrical algebraic decomposition. 11-37
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/EnglandBD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/EnglandBD20
Matthew England, Russell J. Bradford, James H. Davenport:
Cylindrical algebraic decomposition with equational constraints. 38-71
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BrownV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BrownV20
Christopher W. Brown, Fernando Vale-Enriquez:
From simplification to a partial theory solver for non-linear real polynomial constraints. 72-101
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BrombergerSW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BrombergerSW20
Martin Bromberger, Thomas Sturm, Christoph Weidenbach:
A complete and terminating approach to linear integer solving. 102-136
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/AbbottBPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/AbbottBPR20
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano:
Computing and using minimal polynomials. 137-163
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HoracekK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HoracekK20
Jan Horácek, Martin Kreuzer:
On conversions from CNF to ANF. 164-186
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BrightKG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BrightKG20
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
Applying computer algebra systems with SAT solvers to the Williamson conjecture. 187-209

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.