-
Notifications
You must be signed in to change notification settings - Fork 21
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #5675 from openjournals/joss.06049
Merging automatically
- Loading branch information
Showing
3 changed files
with
912 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,158 @@ | ||
| <?xml version="1.0" encoding="UTF-8"?> | ||
| <doi_batch xmlns="http://www.crossref.org/schema/5.3.1" | ||
| xmlns:ai="http://www.crossref.org/AccessIndicators.xsd" | ||
| xmlns:rel="http://www.crossref.org/relations.xsd" | ||
| xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
| version="5.3.1" | ||
| xsi:schemaLocation="http://www.crossref.org/schema/5.3.1 http://www.crossref.org/schemas/crossref5.3.1.xsd"> | ||
| <head> | ||
| <doi_batch_id>20240725124726-7700969d37ad88d541b5ec16519a9e7a48e5e558</doi_batch_id> | ||
| <timestamp>20240725124726</timestamp> | ||
| <depositor> | ||
| <depositor_name>JOSS Admin</depositor_name> | ||
| <email_address>[email protected]</email_address> | ||
| </depositor> | ||
| <registrant>The Open Journal</registrant> | ||
| </head> | ||
| <body> | ||
| <journal> | ||
| <journal_metadata> | ||
| <full_title>Journal of Open Source Software</full_title> | ||
| <abbrev_title>JOSS</abbrev_title> | ||
| <issn media_type="electronic">2475-9066</issn> | ||
| <doi_data> | ||
| <doi>10.21105/joss</doi> | ||
| <resource>https://joss.theoj.org</resource> | ||
| </doi_data> | ||
| </journal_metadata> | ||
| <journal_issue> | ||
| <publication_date media_type="online"> | ||
| <month>07</month> | ||
| <year>2024</year> | ||
| </publication_date> | ||
| <journal_volume> | ||
| <volume>9</volume> | ||
| </journal_volume> | ||
| <issue>99</issue> | ||
| </journal_issue> | ||
| <journal_article publication_type="full_text"> | ||
| <titles> | ||
| <title>mathlib: A Scala package for readable, verifiable and | ||
| sustainable simulations of formal theory</title> | ||
| </titles> | ||
| <contributors> | ||
| <person_name sequence="first" contributor_role="author"> | ||
| <given_name>Mark</given_name> | ||
| <surname>Blokpoel</surname> | ||
| <ORCID>https://orcid.org/0000-0002-1522-0343</ORCID> | ||
| </person_name> | ||
| </contributors> | ||
| <publication_date> | ||
| <month>07</month> | ||
| <day>25</day> | ||
| <year>2024</year> | ||
| </publication_date> | ||
| <pages> | ||
| <first_page>6049</first_page> | ||
| </pages> | ||
| <publisher_item> | ||
| <identifier id_type="doi">10.21105/joss.06049</identifier> | ||
| </publisher_item> | ||
| <ai:program name="AccessIndicators"> | ||
| <ai:license_ref applies_to="vor">http://creativecommons.org/licenses/by/4.0/</ai:license_ref> | ||
| <ai:license_ref applies_to="am">http://creativecommons.org/licenses/by/4.0/</ai:license_ref> | ||
| <ai:license_ref applies_to="tdm">http://creativecommons.org/licenses/by/4.0/</ai:license_ref> | ||
| </ai:program> | ||
| <rel:program> | ||
| <rel:related_item> | ||
| <rel:description>Software archive</rel:description> | ||
| <rel:inter_work_relation relationship-type="references" identifier-type="doi">10.5281/zenodo.12819230</rel:inter_work_relation> | ||
| </rel:related_item> | ||
| <rel:related_item> | ||
| <rel:description>GitHub review issue</rel:description> | ||
| <rel:inter_work_relation relationship-type="hasReview" identifier-type="uri">https://github.com/openjournals/joss-reviews/issues/6049</rel:inter_work_relation> | ||
| </rel:related_item> | ||
| </rel:program> | ||
| <doi_data> | ||
| <doi>10.21105/joss.06049</doi> | ||
| <resource>https://joss.theoj.org/papers/10.21105/joss.06049</resource> | ||
| <collection property="text-mining"> | ||
| <item> | ||
| <resource mime_type="application/pdf">https://joss.theoj.org/papers/10.21105/joss.06049.pdf</resource> | ||
| </item> | ||
| </collection> | ||
| </doi_data> | ||
| <citation_list> | ||
| <citation key="blokpoel_vanrooij:2021"> | ||
| <volume_title>Theoretical modeling for cognitive science and | ||
| psychology</volume_title> | ||
| <author>Blokpoel</author> | ||
| <cYear>2021</cYear> | ||
| <unstructured_citation>Blokpoel, M., & van Rooij, I. | ||
| (2021). Theoretical modeling for cognitive science and psychology. | ||
| https://computationalcognitivescience.github.io/lovelace/</unstructured_citation> | ||
| </citation> | ||
| <citation key="guest_martin:2021"> | ||
| <article_title>How computational modeling can force theory | ||
| building in psychological science</article_title> | ||
| <author>Guest</author> | ||
| <journal_title>Perspectives on Psychological | ||
| Science</journal_title> | ||
| <volume>16</volume> | ||
| <doi>10.1177/1745691620970585</doi> | ||
| <cYear>2021</cYear> | ||
| <unstructured_citation>Guest, O., & Martin, A. E. | ||
| (2021). How computational modeling can force theory building in | ||
| psychological science. Perspectives on Psychological Science, 16. | ||
| https://doi.org/10.1177/1745691620970585</unstructured_citation> | ||
| </citation> | ||
| <citation key="thagard:1998"> | ||
| <article_title>Coherence as constraint | ||
| satisfaction</article_title> | ||
| <author>Thagard</author> | ||
| <journal_title>Cognitive Science</journal_title> | ||
| <issue>1</issue> | ||
| <volume>22</volume> | ||
| <cYear>1998</cYear> | ||
| <unstructured_citation>Thagard, P., & Verbeurgt, K. | ||
| (1998). Coherence as constraint satisfaction. Cognitive Science, 22(1), | ||
| 24.</unstructured_citation> | ||
| </citation> | ||
| <citation key="vanrooij_baggio:2021"> | ||
| <article_title>Theory before the test: How to build | ||
| high-verisimilitude explanatory theories in psychological | ||
| science</article_title> | ||
| <author>van Rooij</author> | ||
| <journal_title>Perspectives on Psychological | ||
| Science</journal_title> | ||
| <volume>16</volume> | ||
| <doi>10.1177/1745691620970604</doi> | ||
| <cYear>2021</cYear> | ||
| <unstructured_citation>van Rooij, I., & Baggio, G. | ||
| (2021). Theory before the test: How to build high-verisimilitude | ||
| explanatory theories in psychological science. Perspectives on | ||
| Psychological Science, 16. | ||
| https://doi.org/10.1177/1745691620970604</unstructured_citation> | ||
| </citation> | ||
| <citation key="marr:1982"> | ||
| <volume_title>Vision: A computational investigation into the | ||
| human representation and processing of visual information</volume_title> | ||
| <author>Marr</author> | ||
| <cYear>1982</cYear> | ||
| <unstructured_citation>Marr, D. (1982). Vision: A | ||
| computational investigation into the human representation and processing | ||
| of visual information. W.H. Freeman, San Francisco, | ||
| CA.</unstructured_citation> | ||
| </citation> | ||
| <citation key="odersky:2008"> | ||
| <volume_title>Programming in Scala</volume_title> | ||
| <author>Odersky</author> | ||
| <cYear>2008</cYear> | ||
| <unstructured_citation>Odersky, M. (2008). Programming in | ||
| Scala. Mountain View, California: Artima.</unstructured_citation> | ||
| </citation> | ||
| </citation_list> | ||
| </journal_article> | ||
| </journal> | ||
| </body> | ||
| </doi_batch> |
Binary file not shown.
Oops, something went wrong.