700 citations
Cite
SaveGo to paper →
Springer Nature
LISP and Symbolic Computation Template
Write in a clean editor, then format for LISP and Symbolic Computation in one click — DocuGuru applies the official Springer Nature template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
About the LISP and Symbolic Computation format
LISP and Symbolic Computation is a peer-reviewed journal published by Springer Nature, covering Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques.
| Publisher | Springer Nature |
|---|---|
| Reference style | Numbered (Springer) Numbered — [1], [2] in the text 1. Smith, A., Jones, B., Lee, C.: A representative article title. LISP and Symbolic Computation 12, 45–58 (2023)
Formats any DOI in LISP and Symbolic Computation style. No sign-up. |
| Publishes research in | Logic, programming, and type systems Formal Methods in Verification Parallel Computing and Optimization Techniques Logic, Reasoning, and Knowledge Software Engineering Research |
| ISSN | 0892-4635 |
| h-index | 48 |
| i10-index | 163 |
| Total citations | 9,971 |
| Top institutions publishing here | Indiana University Bloomington |
| Journal website | www.springer.com |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Papers published in LISP and Symbolic Computation per year
Citation impact of LISP and Symbolic Computation by publication year
Citations each year’s papers have accumulated so far — the most recent years are still building up.
Most-cited papers in LISP and Symbolic Computation
414 citations
Cite
SaveGo to paper →
352 citations
Cite
SaveGo to paper →
294 citations
Cite
SaveGo to paper →
279 citations
Cite
SaveGo to paper →
Related journal templates
LISP and Symbolic Computation template — frequently asked questions
How do I write a paper in the LISP and Symbolic Computation format?
In DocuGuru you write your manuscript in a normal editor — no LaTeX setup required — and select the LISP and Symbolic Computation template. When you export, DocuGuru compiles the paper into the official Springer Nature format and hands you a submission-ready PDF along with the editable LaTeX source.
What reference style does LISP and Symbolic Computation use?
LISP and Symbolic Computation uses Numbered (Springer) references, shown as numbered [1], [2] markers in the text. DocuGuru formats every in-text citation and the reference list in this exact style automatically. A reference appears like this: 1. Smith, A., Jones, B., Lee, C.: A representative article title. LISP and Symbolic Computation 12, 45–58 (2023)
Do I need to know LaTeX to submit to LISP and Symbolic Computation?
No. DocuGuru generates the sn-jnl LaTeX class and compiles the PDF for you in the background, so you get a Springer Nature-ready LISP and Symbolic Computation document without writing any LaTeX. If you do want it, the LaTeX source is included in the export.
Can I import an existing draft into the LISP and Symbolic Computation template?
Yes. Paste or upload your current manuscript — Word, LaTeX, Markdown, or plain text — and DocuGuru reflows it into the LISP and Symbolic Computation format with correct headings, figures, tables, and numbered citations.
Who publishes LISP and Symbolic Computation?
LISP and Symbolic Computation is a physics journal published by Springer Nature. DocuGuru's LISP and Symbolic Computation template matches Springer Nature's official submission format.
Can I export a submission-ready LISP and Symbolic Computation PDF?
Yes — DocuGuru produces a PDF built with the official LISP and Symbolic Computation template (the sn-jnl class) that is ready to submit to Springer Nature, together with the matching LaTeX source files.
How much does the LISP and Symbolic Computation template cost?
You can start writing in the LISP and Symbolic Computation template for free. Exporting the final submission-ready LISP and Symbolic Computation PDF and LaTeX source is part of DocuGuru's paid plans — see the app for current pricing.